RAND_MAX

const int RAND_MAX = 0x7fffffff;