// File: /workspace/github_c_makefile_star2_O2/genometools[P]genometools/src/core/encseq.c
// Function: gt_encseq_check_markpos
void gt_encseq_check_markpos(const GtEncseq *encseq)
{
  if (encseq->numofdbsequences > 1UL) {
    GtUword *markpos, totallength, pos, currentseqnum = 0, seqnum;
    GtUchar currentchar;
    GtEncseqReader *esr;

    markpos = encseq2markpositions(encseq);
    totallength = encseq->logicaltotallength;
    esr = gt_encseq_create_reader_with_readmode(encseq, GT_READMODE_FORWARD, 0);

    for (pos=0; pos<totallength; pos++) {
      currentchar = gt_encseq_reader_next_encoded_char(esr);
      if (currentchar == (GtUchar) GT_SEPARATOR)
        currentseqnum++;
      else {
        seqnum = gt_encseq_sep2seqnum(markpos, encseq->numofdbsequences,
                                      totallength, pos);
        if (seqnum != currentseqnum) {
          fprintf(stderr, "pos= "GT_WU" seqnum = "GT_WU" != "GT_WU" = "
                          "currentseqnum\n",
                          pos, seqnum, currentseqnum);
          exit(GT_EXIT_PROGRAMMING_ERROR);
        }
      }
    }
    gt_encseq_reader_delete(esr);
    gt_free(markpos);
  }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq 0x40(%rdi), %rbp
cmpq $0x2, %rbp
jb 0xa6d83
movq %rdi, %rbx
leaq -0x8(,%rbp,8), %rdi
decq %rbp
leaq 0x44f2c(%rip), %rsi     # 0xebb9a
movl $0xf0e, %edx            # imm = 0xF0E
callq 0xccb0
movq %rax, %r14
pushq $0x1
popq %rsi
movq %rbx, %rdi
callq 0xa5bdc
movq %rax, (%rsp)
xorl %r12d, %r12d
xorl %r13d, %r13d
movq %rbx, %r15
movq (%rsp), %rdi
leaq 0x8(%rsp), %rsi
callq 0xa5c77
testb %al, %al
je 0xa6d08
movq 0x8(%rsp), %rcx
testq %r13, %r13
je 0xa6cbe
movq %r13, %rdi
movq %rbx, %rsi
xorl %edx, %edx
callq 0xa3924
jmp 0xa6cce
movq %rbx, %rdi
xorl %esi, %esi
movq %rcx, %rdx
callq 0xa3c4c
movq %rax, %r13
movq 0x8(%rsp), %rbx
cmpq 0x10(%rsp), %rbx
jae 0xa6d03
movq %r13, %rdi
callq 0xa2941
cmpb $-0x3, %al
jbe 0xa6d92
cmpb $-0x1, %al
jne 0xa6cfe
cmpq %rbp, %r12
jae 0xa6dc0
movq %rbx, (%r14,%r12,8)
incq %r12
incq %rbx
jmp 0xa6cd3
movq %r15, %rbx
jmp 0xa6c93
movq (%rsp), %rdi
callq 0xa63f5
movq %r13, %rdi
callq 0xa3c9a
movq 0x38(%rbx), %r12
xorl %r15d, %r15d
movq %rbx, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0xa3c4c
movq %rax, %rbp
xorl %r13d, %r13d
cmpq %r13, %r12
je 0xa6d67
movq %rbp, %rdi
callq 0xa2941
cmpb $-0x1, %al
je 0xa6d5f
movq 0x40(%rbx), %rsi
movq %r14, %rdi
movq %r12, %rdx
movq %r13, %rcx
callq 0xa641d
cmpq %r15, %rax
je 0xa6d62
jmp 0xa6df8
incq %r15
incq %r13
jmp 0xa6d32
movq %rbp, %rdi
callq 0xa3c9a
leaq 0x44e24(%rip), %rsi     # 0xebb9a
movq %r14, %rdi
movl $0xfd4, %edx            # imm = 0xFD4
callq 0xd249
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0x8721f(%rip), %rax     # 0x12dfb8
movq (%rax), %rdi
leaq 0x232c3(%rip), %rsi     # 0xca066
leaq 0x48a10(%rip), %rdx     # 0xef7ba
leaq 0x48a23(%rip), %rcx     # 0xef7d4
leaq 0x44de2(%rip), %r8      # 0xebb9a
movl $0xefb, %r9d            # imm = 0xEFB
jmp 0xa6dec
movq 0x871f1(%rip), %rax     # 0x12dfb8
movq (%rax), %rdi
leaq 0x23295(%rip), %rsi     # 0xca066
leaq 0x48a0a(%rip), %rdx     # 0xef7e2
leaq 0x489f5(%rip), %rcx     # 0xef7d4
leaq 0x44db4(%rip), %r8      # 0xebb9a
movl $0xefd, %r9d            # imm = 0xEFD
xorl %eax, %eax
callq 0xb8c0
callq 0xb300
movq 0x871b9(%rip), %rcx     # 0x12dfb8
movq (%rcx), %rdi
leaq 0x4580e(%rip), %rsi     # 0xec617
movq %r13, %rdx
movq %rax, %rcx
movq %r15, %r8
xorl %eax, %eax
callq 0xb8c0
pushq $0x2
popq %rdi
callq 0xb7b0