if {[string compare $command "SplitAngle"] == 0 } {
    set os "ALL"
    if {[array get env os_type] != ""} {
       set os $env(os_type)
    }
    if {
	    [string compare $os "Debian40"] != 0
	&&  [string compare $os "Mandriva2008"] != 0
	&&  [string compare $os "Mandriva2010"] != 0
       } {
  puts "TODO ?OCC23245 ALL: Faulty shapes in variables faulty_1 to faulty_"
    }
}

restore [locate_data_file GOUVERGUI.brep] a