ABI 安定化前はそれでよかったと思うんだけど、いくら additive とはいえ、 ORT は reverse generics のシュガーなのに ABI は二通りあるとかなりそうな気が。