Whever the code executes the instructions generated by this macro, the check point for this line will be set in global testing state. Use SEQAN_VERIFY_CHECKPOINTS to verify whether all checkpoints have been reached in a file up to this point. SEQAN_CHECKPOINT;