# random_number_generation_fixes.patch
avoid_infinite_loop_on_arm.patch
