I have this small test case: