bug_318_noscope.cir # checked by bug_318.cir.sh
