Simple example of state restoration and my expectations