/* 
 * from K&R - produces an integer random number 
 * between 0 and 32767.
 */

static int rand_seed = 10;

int rand(void)
{
    rand_seed = rand_seed * 1103515245 + 12345;
    return (unsigned int)(rand_seed / 65536) % 32768;
}