#define RANDOM_MAX 0x7FFFFFFF 

Highest number that can be generated by random().