Update random_numbers_stdlib.c