OK: all test cases pass