bug_767b_nodupes.cir
bug_1152_nodupes.cir
