State.checkpoint# State.checkpoint()# State accessor for checkpointing operations. See State.checkpoint for more detailed documentation.