reduced testcase