This test case: