hi                 59 usr/lib/libc/stdlib/random.c 	long x, hi, lo, t;
hi                 70 usr/lib/libc/stdlib/random.c 	hi = x / 127773;
hi                 72 usr/lib/libc/stdlib/random.c 	t = 16807 * lo - 2836 * hi;