easier syntax for resetting ptop checkpoints