判定フラグの実装が1ビット前提なのに高級言語がインプリメントされているという発想になるとは恐れ入る。

一応の前提ではプリミティブな型以外は想定してないんでは？オブジェクトだとメモリにロードされるサイズはすごく大きくなってしまうので。