test case to try reproduce #27