Using the execution point as the state variable