/*
        rand_num.c - 16-bit random number generator
                return random number in the range of (0 - 0x7fff)
*/
int rand_num(void);

#define C1 0x6255
#define C2 0x3619

static int rseed=0x8;

int rand_num()
{
        rseed *= C1;
        rseed += C2;
        rseed &= 0x7fff;
        return (rseed);
}