>>400
保証されない。
xが32bitだとして16bitのCPUなら、上位16ビットを代入した直後に
割り込みが入って上位16ビットを書き換えたらもうダメ。