check_random_number 1316 random.c           check_random_number(v, argv);
check_random_number 1457 random.c           check_random_number(v, argv);