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 OCC23127 $os: Faulty shapes in variables faulty_1 to faulty_2"
    }
}

restore [locate_data_file cg.brep] a