// File: /workspace/github_c_makefile_star2_O3/algorithm-archivists[P]GathVL/src/objects/tex_string.cpp
// Function: tex_string::~tex_string()
tex_string::~tex_string() {
    std::string tmp = texfile + "tex";
    if (std::remove(tmp.c_str()) != 0) {
        std::cout << "The file " << tmp << " hasn't been removed" << std::endl;
    }

    tmp = texfile + "dvi";
    if (std::remove(tmp.c_str()) != 0) {
        std::cout << "The file " << tmp << " hasn't been removed" << std::endl;
    }

    tmp = texfile + "log";
    if (std::remove(tmp.c_str()) != 0) {
        std::cout << "The file " << tmp << " hasn't been removed" << std::endl;
    }

    tmp = texfile + "aux";
    if (std::remove(tmp.c_str()) != 0) {
        std::cout << "The file " << tmp << " hasn't been removed" << std::endl;
    }

    tmp = texfile + "png";
    if (std::remove(tmp.c_str()) != 0) {
        std::cout << "The file " << tmp << " hasn't been removed" << std::endl;
    }

    stbi_image_free(image_data);
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x48, %rsp
movq %rdi, %rbx
leaq 0xbbbf(%rip), %rax      # 0x2cc00
movq %rax, (%rdi)
leaq 0x18(%rsp), %r15
movq %r15, -0x10(%r15)
movq 0x68(%rdi), %rsi
movq 0x70(%rdi), %rdx
addq %rsi, %rdx
leaq 0x8(%rsp), %rdi
callq 0x6c58
leaq 0x4c0a(%rip), %rsi      # 0x25c73
leaq 0x8(%rsp), %rdi
callq 0x5510
movq 0x8(%rsp), %rdi
callq 0x5170
testl %eax, %eax
je 0x210ed
movq 0xbf30(%rip), %rdi      # 0x2cfb8
leaq 0x4b82(%rip), %rsi      # 0x25c11
movl $0x9, %edx
callq 0x5760
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq 0xbf0e(%rip), %rdi      # 0x2cfb8
callq 0x5760
movq %rax, %r14
leaq 0x4b62(%rip), %rsi      # 0x25c1b
movl $0x14, %edx
movq %rax, %rdi
callq 0x5760
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x57d0
movsbl %al, %esi
movq %r14, %rdi
callq 0x5430
movq %rax, %rdi
callq 0x53c0
leaq 0x38(%rsp), %r12
movq %r12, -0x10(%r12)
movq 0x68(%rbx), %rsi
movq 0x70(%rbx), %rdx
addq %rsi, %rdx
leaq 0x28(%rsp), %rdi
callq 0x6c58
leaq 0x4b1d(%rip), %rsi      # 0x25c30
leaq 0x28(%rsp), %rdi
callq 0x5510
leaq 0x8(%rsp), %rdi
leaq 0x28(%rsp), %r14
movq %r14, %rsi
callq 0x53d0
movq (%r14), %rdi
cmpq %r12, %rdi
je 0x21144
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x50c0
movq 0x8(%rsp), %rdi
callq 0x5170
testl %eax, %eax
je 0x211be
movq 0xbe5f(%rip), %rdi      # 0x2cfb8
leaq 0x4ab1(%rip), %rsi      # 0x25c11
movl $0x9, %edx
callq 0x5760
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq 0xbe3d(%rip), %rdi      # 0x2cfb8
callq 0x5760
movq %rax, %r14
leaq 0x4a91(%rip), %rsi      # 0x25c1b
movl $0x14, %edx
movq %rax, %rdi
callq 0x5760
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x57d0
movsbl %al, %esi
movq %r14, %rdi
callq 0x5430
movq %rax, %rdi
callq 0x53c0
leaq 0x28(%rsp), %rdi
movq %r12, (%rdi)
movq 0x68(%rbx), %rsi
movq 0x70(%rbx), %rdx
addq %rsi, %rdx
callq 0x6c58
leaq 0x4a57(%rip), %rsi      # 0x25c34
leaq 0x28(%rsp), %rdi
callq 0x5510
leaq 0x8(%rsp), %rdi
leaq 0x28(%rsp), %r14
movq %r14, %rsi
callq 0x53d0
movq (%r14), %rdi
cmpq %r12, %rdi
je 0x2120e
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x50c0
movq 0x8(%rsp), %rdi
callq 0x5170
testl %eax, %eax
je 0x21288
movq 0xbd95(%rip), %rdi      # 0x2cfb8
leaq 0x49e7(%rip), %rsi      # 0x25c11
movl $0x9, %edx
callq 0x5760
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq 0xbd73(%rip), %rdi      # 0x2cfb8
callq 0x5760
movq %rax, %r14
leaq 0x49c7(%rip), %rsi      # 0x25c1b
movl $0x14, %edx
movq %rax, %rdi
callq 0x5760
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x57d0
movsbl %al, %esi
movq %r14, %rdi
callq 0x5430
movq %rax, %rdi
callq 0x53c0
leaq 0x28(%rsp), %rdi
movq %r12, (%rdi)
movq 0x68(%rbx), %rsi
movq 0x70(%rbx), %rdx
addq %rsi, %rdx
callq 0x6c58
leaq 0x4991(%rip), %rsi      # 0x25c38
leaq 0x28(%rsp), %rdi
callq 0x5510
leaq 0x8(%rsp), %rdi
leaq 0x28(%rsp), %r14
movq %r14, %rsi
callq 0x53d0
movq (%r14), %rdi
cmpq %r12, %rdi
je 0x212d8
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x50c0
movq 0x8(%rsp), %rdi
callq 0x5170
testl %eax, %eax
je 0x21352
movq 0xbccb(%rip), %rdi      # 0x2cfb8
leaq 0x491d(%rip), %rsi      # 0x25c11
movl $0x9, %edx
callq 0x5760
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq 0xbca9(%rip), %rdi      # 0x2cfb8
callq 0x5760
movq %rax, %r14
leaq 0x48fd(%rip), %rsi      # 0x25c1b
movl $0x14, %edx
movq %rax, %rdi
callq 0x5760
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x57d0
movsbl %al, %esi
movq %r14, %rdi
callq 0x5430
movq %rax, %rdi
callq 0x53c0
leaq 0x28(%rsp), %rdi
movq %r12, (%rdi)
movq 0x68(%rbx), %rsi
movq 0x70(%rbx), %rdx
addq %rsi, %rdx
callq 0x6c58
leaq 0x49d7(%rip), %rsi      # 0x25d48
leaq 0x28(%rsp), %rdi
callq 0x5510
leaq 0x8(%rsp), %rdi
leaq 0x28(%rsp), %r14
movq %r14, %rsi
callq 0x53d0
movq (%r14), %rdi
cmpq %r12, %rdi
je 0x213a2
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x50c0
movq 0x8(%rsp), %rdi
callq 0x5170
testl %eax, %eax
je 0x2141c
movq 0xbc01(%rip), %rdi      # 0x2cfb8
leaq 0x4853(%rip), %rsi      # 0x25c11
movl $0x9, %edx
callq 0x5760
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq 0xbbdf(%rip), %rdi      # 0x2cfb8
callq 0x5760
movq %rax, %r14
leaq 0x4833(%rip), %rsi      # 0x25c1b
movl $0x14, %edx
movq %rax, %rdi
callq 0x5760
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x57d0
movsbl %al, %esi
movq %r14, %rdi
callq 0x5430
movq %rax, %rdi
callq 0x53c0
movq 0x88(%rbx), %rdi
callq 0x926c
movq 0x8(%rsp), %rdi
cmpq %r15, %rdi
je 0x2143f
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x50c0
movq 0x68(%rbx), %rdi
leaq 0x78(%rbx), %rax
cmpq %rax, %rdi
je 0x21457
movq (%rax), %rsi
incq %rsi
callq 0x50c0
leaq 0xb2da(%rip), %rax      # 0x2c738
movq %rax, (%rbx)
addq $0x8, %rbx
movq %rbx, %rdi
callq 0x6cee
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
jmp 0x2147f
jmp 0x2147f
jmp 0x2147f
movq %rax, %rbx
movq 0x28(%rsp), %rdi
cmpq %r12, %rdi
je 0x214b2
movq 0x38(%rsp), %rsi
jmp 0x214a5
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %r15, %rdi
je 0x214b2
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x50c0
jmp 0x214b2
movq %rax, %rbx
movq %rbx, %rdi
callq 0x6859