bug_767a.cir
bug_767b.cir
