Support for checkpointing