Checkpoint in function checking