bug_652b.cir
bug_652c.cir

