Checkpointing.py: basic functions defined