int getrandmax
Returns the maximum value that can be returned by a call to rand().
See also rand() and srand().