User-level checkpointing library
