puts "TODO OCC23150 ALL: Error : Number of faults is"

restore [locate_data_file CIN902_intcqhmq.rle] a