somewhat-reduced testcase