#deterministic-checkpointing