random_int32      929 random.c           return random_int32(rnd);
random_int32      944 random.c       	a = random_int32(rnd);
random_int32      945 random.c       	b = random_int32(rnd);