tricky example from xinyu