>>542
符号付き整数がオーバーフローした場合は未定義動作だが、
符号なし整数が範囲外にでたときは、
(MAX+1)を何回か足したり引いたりして範囲内になるようにした値になることになってる。