User-level checkpointing library