I don't understand why checkpoints couldn't be introduced. Surely someone could insert breakpoints and figure out a way to serialize relevant state.