another test case that seems not to get stuck