Do not add code with SEQAN_CHECKOUT. SEQAN_CHECKPOINT is outdated.