checkpoint 2
state 1
checkpoint 3