Checkpointing ... library code compiles.