Checkpoint (sanity check)