A user-level checkpointing library
