Checkpoint starting automata and a dynamic program loader