bug_967.cir
