>>693
つーか、RAND_MAX+1って、たとえば0x7fffみたく+1して、
(２進数で)桁上がりする数値を想定してるでしょ。
たいていの処理系はそうだろうけど、そういう保証はないし。