#state checkpointing