Stack machine fully checkpointable