正確には32ビット“以上”な。実際には36ビットかもしれないし64ビットかもしれない。
32ビットジャストと仮定してはいけない。