More progress on checkpointing... we can now write out a checkpoint and read it back in,