#include <osbind.h>
#include <stdio.h>

rand()
	{
	return((Random() >> 3) & RAND_MAX);
	}

/*
 *	In environments where the operating system doesn't provide
 *	a random number generator, the following code may be useful.
 *
 *	static unsigned long _seed = 1;
 *
 *	int rand()
 *		{
 *		_seed = (_seed * 1103515245) + 12345;
 *		return((unsigned int) ((next / 65536) % 32768));
 *		}
 *
 *	void srand(seed)
 *		unsigned int seed;
 *		{
 *		_seed = seed;
 *		}
 */