change_random_generator.patch
