bug_1686a.cir
bug_1686_dup.cir
