Morris Traversal version, O(n)/O(1)