dont_do_redundant_flag_changes.diff
always_verify_writing_data_to_external_file.diff
correctly_detect_inter-resource_moves.diff
