>>797
つまりC++？

>>798
状態数だけ型を作るというのが現実離れしてそう。
ラベル数の制限すら気になるのに。