BUG_352b.cir # tested by BUG_352a.cir.sh
