bug_311_b.cir # This is tested by bug_311_a.cir.sh
