BF: broken testcase