// File: /workspace/github_c_makefile_star2_O0/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 %rbp
movq %rsp, %rbp
subq $0x130, %rsp            # imm = 0x130
movq %rdi, -0x8(%rbp)
movq -0x8(%rbp), %rsi
movq %rsi, -0xb0(%rbp)
leaq 0x1782f(%rip), %rax     # 0x4ec10
movq %rax, (%rsi)
addq $0x68, %rsi
leaq 0x6261(%rip), %rdx      # 0x3d650
leaq -0x28(%rbp), %rdi
callq 0x377d0
jmp 0x373fa
leaq -0x28(%rbp), %rdi
callq 0x5530
movq %rax, %rdi
callq 0x5120
cmpl $0x0, %eax
je 0x37478
movq 0x17b91(%rip), %rdi     # 0x4efa8
leaq 0x61d0(%rip), %rsi      # 0x3d5ee
callq 0x5780
movq %rax, -0xb8(%rbp)
jmp 0x3742c
movq -0xb8(%rbp), %rdi
leaq -0x28(%rbp), %rsi
callq 0x56d0
movq %rax, -0xc0(%rbp)
jmp 0x37445
movq -0xc0(%rbp), %rdi
leaq 0x61a5(%rip), %rsi      # 0x3d5f8
callq 0x5780
movq %rax, -0xc8(%rbp)
jmp 0x37461
movq -0xc8(%rbp), %rdi
movq 0x17b51(%rip), %rsi     # 0x4efc0
callq 0x5960
jmp 0x37476
jmp 0x37478
movq -0xb0(%rbp), %rsi
addq $0x68, %rsi
leaq 0x6183(%rip), %rdx      # 0x3d60d
leaq -0x48(%rbp), %rdi
callq 0x377d0
jmp 0x37495
leaq -0x28(%rbp), %rdi
leaq -0x48(%rbp), %rsi
callq 0x5750
leaq -0x48(%rbp), %rdi
callq 0x5830
leaq -0x28(%rbp), %rdi
callq 0x5530
movq %rax, %rdi
callq 0x5120
cmpl $0x0, %eax
je 0x37529
movq 0x17ae0(%rip), %rdi     # 0x4efa8
leaq 0x611f(%rip), %rsi      # 0x3d5ee
callq 0x5780
movq %rax, -0xd0(%rbp)
jmp 0x374dd
movq -0xd0(%rbp), %rdi
leaq -0x28(%rbp), %rsi
callq 0x56d0
movq %rax, -0xd8(%rbp)
jmp 0x374f6
movq -0xd8(%rbp), %rdi
leaq 0x60f4(%rip), %rsi      # 0x3d5f8
callq 0x5780
movq %rax, -0xe0(%rbp)
jmp 0x37512
movq -0xe0(%rbp), %rdi
movq 0x17aa0(%rip), %rsi     # 0x4efc0
callq 0x5960
jmp 0x37527
jmp 0x37529
movq -0xb0(%rbp), %rsi
addq $0x68, %rsi
leaq 0x60d6(%rip), %rdx      # 0x3d611
leaq -0x68(%rbp), %rdi
callq 0x377d0
jmp 0x37546
leaq -0x28(%rbp), %rdi
leaq -0x68(%rbp), %rsi
callq 0x5750
leaq -0x68(%rbp), %rdi
callq 0x5830
leaq -0x28(%rbp), %rdi
callq 0x5530
movq %rax, %rdi
callq 0x5120
cmpl $0x0, %eax
je 0x375da
movq 0x17a2f(%rip), %rdi     # 0x4efa8
leaq 0x606e(%rip), %rsi      # 0x3d5ee
callq 0x5780
movq %rax, -0xe8(%rbp)
jmp 0x3758e
movq -0xe8(%rbp), %rdi
leaq -0x28(%rbp), %rsi
callq 0x56d0
movq %rax, -0xf0(%rbp)
jmp 0x375a7
movq -0xf0(%rbp), %rdi
leaq 0x6043(%rip), %rsi      # 0x3d5f8
callq 0x5780
movq %rax, -0xf8(%rbp)
jmp 0x375c3
movq -0xf8(%rbp), %rdi
movq 0x179ef(%rip), %rsi     # 0x4efc0
callq 0x5960
jmp 0x375d8
jmp 0x375da
movq -0xb0(%rbp), %rsi
addq $0x68, %rsi
leaq 0x6029(%rip), %rdx      # 0x3d615
leaq -0x88(%rbp), %rdi
callq 0x377d0
jmp 0x375fa
leaq -0x28(%rbp), %rdi
leaq -0x88(%rbp), %rsi
callq 0x5750
leaq -0x88(%rbp), %rdi
callq 0x5830
leaq -0x28(%rbp), %rdi
callq 0x5530
movq %rax, %rdi
callq 0x5120
cmpl $0x0, %eax
je 0x37694
movq 0x17975(%rip), %rdi     # 0x4efa8
leaq 0x5fb4(%rip), %rsi      # 0x3d5ee
callq 0x5780
movq %rax, -0x100(%rbp)
jmp 0x37648
movq -0x100(%rbp), %rdi
leaq -0x28(%rbp), %rsi
callq 0x56d0
movq %rax, -0x108(%rbp)
jmp 0x37661
movq -0x108(%rbp), %rdi
leaq 0x5f89(%rip), %rsi      # 0x3d5f8
callq 0x5780
movq %rax, -0x110(%rbp)
jmp 0x3767d
movq -0x110(%rbp), %rdi
movq 0x17935(%rip), %rsi     # 0x4efc0
callq 0x5960
jmp 0x37692
jmp 0x37694
movq -0xb0(%rbp), %rsi
addq $0x68, %rsi
leaq 0x6082(%rip), %rdx      # 0x3d728
leaq -0xa8(%rbp), %rdi
callq 0x377d0
jmp 0x376b4
leaq -0x28(%rbp), %rdi
leaq -0xa8(%rbp), %rsi
callq 0x5750
leaq -0xa8(%rbp), %rdi
callq 0x5830
leaq -0x28(%rbp), %rdi
callq 0x5530
movq %rax, %rdi
callq 0x5120
cmpl $0x0, %eax
je 0x3774e
movq 0x178bb(%rip), %rdi     # 0x4efa8
leaq 0x5efa(%rip), %rsi      # 0x3d5ee
callq 0x5780
movq %rax, -0x118(%rbp)
jmp 0x37702
movq -0x118(%rbp), %rdi
leaq -0x28(%rbp), %rsi
callq 0x56d0
movq %rax, -0x120(%rbp)
jmp 0x3771b
movq -0x120(%rbp), %rdi
leaq 0x5ecf(%rip), %rsi      # 0x3d5f8
callq 0x5780
movq %rax, -0x128(%rbp)
jmp 0x37737
movq -0x128(%rbp), %rdi
movq 0x1787b(%rip), %rsi     # 0x4efc0
callq 0x5960
jmp 0x3774c
jmp 0x3774e
movq -0xb0(%rbp), %rax
movq 0x88(%rax), %rdi
callq 0x169f0
jmp 0x37763
leaq -0x28(%rbp), %rdi
callq 0x5830
movq -0xb0(%rbp), %rdi
addq $0x68, %rdi
callq 0x5830
movq -0xb0(%rbp), %rdi
callq 0x8ff0
addq $0x130, %rsp            # imm = 0x130
popq %rbp
retq
movq %rax, %rdi
callq 0x7250
nopl (%rax)