if { [string compare $command "ShapeConvertRev"] == 0 } {
   puts "TODO ?OCC23127 ALL: Error : The area of the resulting shape is"
   puts "TODO ?DEBUG_OCC24121 Debian60-64: Process killed by CPU limit"
   puts "TODO ?DEBUG_OCC24121 Debian60-64: TEST INCOMPLETE"
}
restore [locate_data_file TOP01245_2.brep] a