Generalized Existential を言語仕様に追加するために、 ABI 仕様を変更する必要があるかどうかという意味でした。