int_pair_to_real_exclusive  201 random.c       static double int_pair_to_real_exclusive(uint32_t a, uint32_t b);
int_pair_to_real_exclusive  207 random.c           return int_pair_to_real_exclusive(a, b);
int_pair_to_real_exclusive  948 random.c       	return int_pair_to_real_exclusive(a, b);