Checkpointing, but inline templates are almost there