Function emptyCheckpoint