Changes

Summary

1. prefer atomic edits -- potentially more robust;
2. clarified signature -- potentially more robust;
3. just one dump_checkpoint Main -- potentially more robust;
4. more robust: avoid update/interrupt of long-running print_consolidation;