a bug of INT left; works in the test cases I add