checkpointing first atomic type roundtrips