A user-level checkpointing library