>>678
それって、RAND_MAXがたとえば0x10000だったら、うまく動かないでしょ。