Initial state: 0
Updated state: 42
Final state: 43