/* 
 * rand() generates a pseudo random integer between 0 and 32767 inclusive.
 */
unsigned int rand (void)
{
    rand_seed = rand_seed * 1103515245 + 12345;
    return (unsigned int) (rand_seed / 65536) % 32768;
}