#include <stdlib.h>

/** random number range **/

#define RAND_MAX                                                         (32767)

/***
is the maximum value returned by FUNCTION(rand).
***/

/*
VALUE_MIN(32767)
STDC(1)
*/