bug805_top.cir  # This is tested by bug805_all.cir.sh
bug805_top2.cir  # This is tested by bug805_all.cir.sh
