Lines Matching refs:gmp_random_range