Checkpointing work to date.  The code now compiles, but has not been tested
to actually work.