test case from xinyu