// File: /workspace/github_c_makefile_star2_O1/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 0xc0fd(%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 0x6cf2
leaq 0x500b(%rip), %rsi      # 0x25b36
leaq 0x8(%rsp), %rdi
callq 0x5520
movq 0x8(%rsp), %rdi
callq 0x5170
testl %eax, %eax
je 0x20baf
movq 0xc46e(%rip), %rdi      # 0x2cfb8
leaq 0x4f83(%rip), %rsi      # 0x25ad4
movl $0x9, %edx
callq 0x5760
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq 0xc44c(%rip), %rdi      # 0x2cfb8
callq 0x5760
movq %rax, %r14
leaq 0x4f63(%rip), %rsi      # 0x25ade
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 0x5440
movq %rax, %rdi
callq 0x53d0
leaq 0x38(%rsp), %r12
movq %r12, -0x10(%r12)
movq 0x68(%rbx), %rsi
movq 0x70(%rbx), %rdx
addq %rsi, %rdx
leaq 0x28(%rsp), %rdi
callq 0x6cf2
leaq 0x4f1e(%rip), %rsi      # 0x25af3
leaq 0x28(%rsp), %rdi
callq 0x5520
leaq 0x8(%rsp), %rdi
leaq 0x28(%rsp), %r14
movq %r14, %rsi
callq 0x53e0
movq (%r14), %rdi
cmpq %r12, %rdi
je 0x20c06
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x50c0
movq 0x8(%rsp), %rdi
callq 0x5170
testl %eax, %eax
je 0x20c80
movq 0xc39d(%rip), %rdi      # 0x2cfb8
leaq 0x4eb2(%rip), %rsi      # 0x25ad4
movl $0x9, %edx
callq 0x5760
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq 0xc37b(%rip), %rdi      # 0x2cfb8
callq 0x5760
movq %rax, %r14
leaq 0x4e92(%rip), %rsi      # 0x25ade
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 0x5440
movq %rax, %rdi
callq 0x53d0
leaq 0x28(%rsp), %rdi
movq %r12, (%rdi)
movq 0x68(%rbx), %rsi
movq 0x70(%rbx), %rdx
addq %rsi, %rdx
callq 0x6cf2
leaq 0x4e58(%rip), %rsi      # 0x25af7
leaq 0x28(%rsp), %rdi
callq 0x5520
leaq 0x8(%rsp), %rdi
leaq 0x28(%rsp), %r14
movq %r14, %rsi
callq 0x53e0
movq (%r14), %rdi
cmpq %r12, %rdi
je 0x20cd0
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x50c0
movq 0x8(%rsp), %rdi
callq 0x5170
testl %eax, %eax
je 0x20d4a
movq 0xc2d3(%rip), %rdi      # 0x2cfb8
leaq 0x4de8(%rip), %rsi      # 0x25ad4
movl $0x9, %edx
callq 0x5760
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq 0xc2b1(%rip), %rdi      # 0x2cfb8
callq 0x5760
movq %rax, %r14
leaq 0x4dc8(%rip), %rsi      # 0x25ade
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 0x5440
movq %rax, %rdi
callq 0x53d0
leaq 0x28(%rsp), %rdi
movq %r12, (%rdi)
movq 0x68(%rbx), %rsi
movq 0x70(%rbx), %rdx
addq %rsi, %rdx
callq 0x6cf2
leaq 0x4d92(%rip), %rsi      # 0x25afb
leaq 0x28(%rsp), %rdi
callq 0x5520
leaq 0x8(%rsp), %rdi
leaq 0x28(%rsp), %r14
movq %r14, %rsi
callq 0x53e0
movq (%r14), %rdi
cmpq %r12, %rdi
je 0x20d9a
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x50c0
movq 0x8(%rsp), %rdi
callq 0x5170
testl %eax, %eax
je 0x20e14
movq 0xc209(%rip), %rdi      # 0x2cfb8
leaq 0x4d1e(%rip), %rsi      # 0x25ad4
movl $0x9, %edx
callq 0x5760
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq 0xc1e7(%rip), %rdi      # 0x2cfb8
callq 0x5760
movq %rax, %r14
leaq 0x4cfe(%rip), %rsi      # 0x25ade
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 0x5440
movq %rax, %rdi
callq 0x53d0
leaq 0x28(%rsp), %rdi
movq %r12, (%rdi)
movq 0x68(%rbx), %rsi
movq 0x70(%rbx), %rdx
addq %rsi, %rdx
callq 0x6cf2
leaq 0x4dd5(%rip), %rsi      # 0x25c08
leaq 0x28(%rsp), %rdi
callq 0x5520
leaq 0x8(%rsp), %rdi
leaq 0x28(%rsp), %r14
movq %r14, %rsi
callq 0x53e0
movq (%r14), %rdi
cmpq %r12, %rdi
je 0x20e64
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x50c0
movq 0x8(%rsp), %rdi
callq 0x5170
testl %eax, %eax
je 0x20ede
movq 0xc13f(%rip), %rdi      # 0x2cfb8
leaq 0x4c54(%rip), %rsi      # 0x25ad4
movl $0x9, %edx
callq 0x5760
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq 0xc11d(%rip), %rdi      # 0x2cfb8
callq 0x5760
movq %rax, %r14
leaq 0x4c34(%rip), %rsi      # 0x25ade
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 0x5440
movq %rax, %rdi
callq 0x53d0
movq 0x88(%rbx), %rdi
callq 0x94e8
movq 0x8(%rsp), %rdi
cmpq %r15, %rdi
je 0x20f01
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x50c0
movq 0x68(%rbx), %rdi
leaq 0x78(%rbx), %rax
cmpq %rax, %rdi
je 0x20f19
movq (%rax), %rsi
incq %rsi
callq 0x50c0
leaq 0xb810(%rip), %rax      # 0x2c730
movq %rax, (%rbx)
addq $0x8, %rbx
movq %rbx, %rdi
callq 0x6d82
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
jmp 0x20f41
jmp 0x20f41
jmp 0x20f41
movq %rax, %rbx
movq 0x28(%rsp), %rdi
cmpq %r12, %rdi
je 0x20f74
movq 0x38(%rsp), %rsi
jmp 0x20f67
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %r15, %rdi
je 0x20f74
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x50c0
jmp 0x20f74
movq %rax, %rbx
movq %rbx, %rdi
callq 0x68f1