puts "============"
puts "OCC24823"
puts "============"
puts ""
###############################
## Hang up in "bopcheck" command
###############################

restore [locate_data_file buc60555d.brep] b
bopcheck b
