checkpointing for x86_64