degrees           153 user/lib/libc/stdlib/random.c static const int degrees[MAX_TYPES] =	{ DEG_0, DEG_1, DEG_2, DEG_3, DEG_4 };
degrees           379 user/lib/libc/stdlib/random.c 		rand_deg = degrees[type];