if(0 <= a && a < 256)
のときに
0 <= a の方が
a < 256 よりも
先に評価されるのは仕様で決まっていますか?