// File: /workspace/github_c_makefile_star2_O0/genometools[P]genometools/src/core/encseq.c
// Function: gt_encseq_headerptr_delete
static void gt_encseq_headerptr_delete(GtEncseqHeaderPtr *headerptr)
{
  gt_free(headerptr->is64bitptr);
  headerptr->is64bitptr = NULL;
  gt_free(headerptr->versionptr);
  headerptr->versionptr = NULL;
  gt_free(headerptr->satcharptr);
  headerptr->satcharptr = NULL;
  gt_free(headerptr->totallengthptr);
  headerptr->totallengthptr = NULL;
  gt_free(headerptr->numofdbsequencesptr);
  headerptr->numofdbsequencesptr = NULL;
  gt_free(headerptr->numofdbfilesptr);
  headerptr->numofdbfilesptr = NULL;
  gt_free(headerptr->lengthofdbfilenamesptr);
  headerptr->lengthofdbfilenamesptr = NULL;
  gt_free(headerptr->firstfilename);
  headerptr->firstfilename = NULL;
  gt_free(headerptr->specialcharinfoptr);
  headerptr->specialcharinfoptr = NULL;
  gt_free(headerptr->minseqlenptr);
  headerptr->minseqlenptr = NULL;
  gt_free(headerptr->maxseqlenptr);
  headerptr->maxseqlenptr = NULL;
  gt_free(headerptr->alphatypeptr);
  headerptr->alphatypeptr = NULL;
  gt_free(headerptr->lengthofalphadefptr);
  headerptr->lengthofalphadefptr = NULL;
  gt_free(headerptr->alphadef);
  headerptr->alphadef = NULL;
  gt_free(headerptr->maxsubalphasizeptr);
  headerptr->maxsubalphasizeptr = NULL;
  gt_free(headerptr->numofallcharsptr);
  headerptr->numofallcharsptr = NULL;
}

// Assembly:
pushq %rax
movq %rdi, (%rsp)
movq (%rsp), %rax
movq (%rax), %rdi
leaq 0x6d65b(%rip), %rsi     # 0x18565e
movl $0x521, %edx            # imm = 0x521
callq 0xdab0
movq (%rsp), %rax
movq $0x0, (%rax)
movq (%rsp), %rax
movq 0x8(%rax), %rdi
leaq 0x6d637(%rip), %rsi     # 0x18565e
movl $0x523, %edx            # imm = 0x523
callq 0xdab0
movq (%rsp), %rax
movq $0x0, 0x8(%rax)
movq (%rsp), %rax
movq 0x10(%rax), %rdi
leaq 0x6d612(%rip), %rsi     # 0x18565e
movl $0x525, %edx            # imm = 0x525
callq 0xdab0
movq (%rsp), %rax
movq $0x0, 0x10(%rax)
movq (%rsp), %rax
movq 0x18(%rax), %rdi
leaq 0x6d5ed(%rip), %rsi     # 0x18565e
movl $0x527, %edx            # imm = 0x527
callq 0xdab0
movq (%rsp), %rax
movq $0x0, 0x18(%rax)
movq (%rsp), %rax
movq 0x20(%rax), %rdi
leaq 0x6d5c8(%rip), %rsi     # 0x18565e
movl $0x529, %edx            # imm = 0x529
callq 0xdab0
movq (%rsp), %rax
movq $0x0, 0x20(%rax)
movq (%rsp), %rax
movq 0x28(%rax), %rdi
leaq 0x6d5a3(%rip), %rsi     # 0x18565e
movl $0x52b, %edx            # imm = 0x52B
callq 0xdab0
movq (%rsp), %rax
movq $0x0, 0x28(%rax)
movq (%rsp), %rax
movq 0x30(%rax), %rdi
leaq 0x6d57e(%rip), %rsi     # 0x18565e
movl $0x52d, %edx            # imm = 0x52D
callq 0xdab0
movq (%rsp), %rax
movq $0x0, 0x30(%rax)
movq (%rsp), %rax
movq 0x70(%rax), %rdi
leaq 0x6d559(%rip), %rsi     # 0x18565e
movl $0x52f, %edx            # imm = 0x52F
callq 0xdab0
movq (%rsp), %rax
movq $0x0, 0x70(%rax)
movq (%rsp), %rax
movq 0x68(%rax), %rdi
leaq 0x6d534(%rip), %rsi     # 0x18565e
movl $0x531, %edx            # imm = 0x531
callq 0xdab0
movq (%rsp), %rax
movq $0x0, 0x68(%rax)
movq (%rsp), %rax
movq 0x38(%rax), %rdi
leaq 0x6d50f(%rip), %rsi     # 0x18565e
movl $0x533, %edx            # imm = 0x533
callq 0xdab0
movq (%rsp), %rax
movq $0x0, 0x38(%rax)
movq (%rsp), %rax
movq 0x40(%rax), %rdi
leaq 0x6d4ea(%rip), %rsi     # 0x18565e
movl $0x535, %edx            # imm = 0x535
callq 0xdab0
movq (%rsp), %rax
movq $0x0, 0x40(%rax)
movq (%rsp), %rax
movq 0x48(%rax), %rdi
leaq 0x6d4c5(%rip), %rsi     # 0x18565e
movl $0x537, %edx            # imm = 0x537
callq 0xdab0
movq (%rsp), %rax
movq $0x0, 0x48(%rax)
movq (%rsp), %rax
movq 0x50(%rax), %rdi
leaq 0x6d4a0(%rip), %rsi     # 0x18565e
movl $0x539, %edx            # imm = 0x539
callq 0xdab0
movq (%rsp), %rax
movq $0x0, 0x50(%rax)
movq (%rsp), %rax
movq 0x78(%rax), %rdi
leaq 0x6d47b(%rip), %rsi     # 0x18565e
movl $0x53b, %edx            # imm = 0x53B
callq 0xdab0
movq (%rsp), %rax
movq $0x0, 0x78(%rax)
movq (%rsp), %rax
movq 0x60(%rax), %rdi
leaq 0x6d456(%rip), %rsi     # 0x18565e
movl $0x53d, %edx            # imm = 0x53D
callq 0xdab0
movq (%rsp), %rax
movq $0x0, 0x60(%rax)
movq (%rsp), %rax
movq 0x58(%rax), %rdi
leaq 0x6d431(%rip), %rsi     # 0x18565e
movl $0x53f, %edx            # imm = 0x53F
callq 0xdab0
movq (%rsp), %rax
movq $0x0, 0x58(%rax)
popq %rax
retq
nopw %cs:(%rax,%rax)