I wonder why the two test cases don't trigger that infinite loop?