Another test file for issue 5802