// File: momohatt[P]seccampDB/database.cpp
// Function: DataBase::make_log_format(ChangeMode, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, int)
string DataBase::make_log_format(ChangeMode mode, Key key, int val) {
    string seed = key + to_string(mode) + to_string(val);
    string buf;
    buf += to_string(crc32(seed)) + " ";
    buf += key + " ";
    buf += to_string(mode) + " ";
    buf += to_string(val) + "\n";
    return buf;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x1f0, %rsp            # imm = 0x1F0
movq %rcx, -0x1d0(%rbp)
movq %rdi, -0x1e0(%rbp)
movq %rdi, %rax
movq %rax, -0x1d8(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movl %edx, -0x14(%rbp)
movq %rcx, -0x20(%rbp)
movl %r8d, -0x24(%rbp)
movl -0x14(%rbp), %esi
leaq -0x88(%rbp), %rdi
movq %rdi, -0x1c8(%rbp)
callq 0xa5e0
movq -0x1d0(%rbp), %rsi
movq -0x1c8(%rbp), %rdx
leaq -0x68(%rbp), %rdi
callq 0xa590
jmp 0x8095
movl -0x24(%rbp), %esi
leaq -0xb8(%rbp), %rdi
callq 0xa5e0
jmp 0x80a6
leaq -0x48(%rbp), %rdi
leaq -0x68(%rbp), %rsi
leaq -0xb8(%rbp), %rdx
callq 0xa4c0
jmp 0x80bc
leaq -0xb8(%rbp), %rdi
callq 0x35f8
leaq -0x68(%rbp), %rdi
callq 0x35f8
leaq -0x88(%rbp), %rdi
callq 0x35f8
movq -0x1e0(%rbp), %rdi
movb $0x0, -0xb9(%rbp)
callq 0x3440
leaq -0x120(%rbp), %rdi
leaq -0x48(%rbp), %rsi
callq 0x3150
jmp 0x8102
leaq -0x120(%rbp), %rdi
callq 0x40e0
movl %eax, -0x1e4(%rbp)
jmp 0x8116
movl -0x1e4(%rbp), %esi
leaq -0x100(%rbp), %rdi
callq 0xa750
jmp 0x812a
leaq 0x14415(%rip), %rdx     # 0x1c546
leaq -0xe0(%rbp), %rdi
leaq -0x100(%rbp), %rsi
callq 0xa700
jmp 0x8146
movq -0x1e0(%rbp), %rdi
leaq -0xe0(%rbp), %rsi
callq 0x3420
jmp 0x815b
leaq -0xe0(%rbp), %rdi
callq 0x35f8
leaq -0x100(%rbp), %rdi
callq 0x35f8
leaq -0x120(%rbp), %rdi
callq 0x35f8
movq -0x1d0(%rbp), %rsi
leaq 0x143b9(%rip), %rdx     # 0x1c546
leaq -0x140(%rbp), %rdi
callq 0xa830
jmp 0x819b
movq -0x1e0(%rbp), %rdi
leaq -0x140(%rbp), %rsi
callq 0x3420
jmp 0x81b0
leaq -0x140(%rbp), %rdi
callq 0x35f8
movl -0x14(%rbp), %esi
leaq -0x180(%rbp), %rdi
callq 0xa5e0
jmp 0x81cd
leaq 0x14372(%rip), %rdx     # 0x1c546
leaq -0x160(%rbp), %rdi
leaq -0x180(%rbp), %rsi
callq 0xa700
jmp 0x81e9
movq -0x1e0(%rbp), %rdi
leaq -0x160(%rbp), %rsi
callq 0x3420
jmp 0x81fe
leaq -0x160(%rbp), %rdi
callq 0x35f8
leaq -0x180(%rbp), %rdi
callq 0x35f8
movl -0x24(%rbp), %esi
leaq -0x1c0(%rbp), %rdi
callq 0xa5e0
jmp 0x8227
leaq 0x14348(%rip), %rdx     # 0x1c576
leaq -0x1a0(%rbp), %rdi
leaq -0x1c0(%rbp), %rsi
callq 0xa700
jmp 0x8243
movq -0x1e0(%rbp), %rdi
leaq -0x1a0(%rbp), %rsi
callq 0x3420
jmp 0x8258
leaq -0x1a0(%rbp), %rdi
callq 0x35f8
leaq -0x1c0(%rbp), %rdi
callq 0x35f8
movb $0x1, -0xb9(%rbp)
testb $0x1, -0xb9(%rbp)
jne 0x8412
jmp 0x8406
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x90(%rbp)
movl %eax, -0x94(%rbp)
jmp 0x82d8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x90(%rbp)
movl %eax, -0x94(%rbp)
jmp 0x82cf
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x90(%rbp)
movl %eax, -0x94(%rbp)
leaq -0xb8(%rbp), %rdi
callq 0x35f8
leaq -0x68(%rbp), %rdi
callq 0x35f8
leaq -0x88(%rbp), %rdi
callq 0x35f8
jmp 0x8440
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x90(%rbp)
movl %eax, -0x94(%rbp)
jmp 0x842b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x90(%rbp)
movl %eax, -0x94(%rbp)
jmp 0x8352
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x90(%rbp)
movl %eax, -0x94(%rbp)
jmp 0x8346
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x90(%rbp)
movl %eax, -0x94(%rbp)
leaq -0xe0(%rbp), %rdi
callq 0x35f8
leaq -0x100(%rbp), %rdi
callq 0x35f8
leaq -0x120(%rbp), %rdi
callq 0x35f8
jmp 0x842b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x90(%rbp)
movl %eax, -0x94(%rbp)
leaq -0x140(%rbp), %rdi
callq 0x35f8
jmp 0x842b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x90(%rbp)
movl %eax, -0x94(%rbp)
jmp 0x83b8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x90(%rbp)
movl %eax, -0x94(%rbp)
leaq -0x160(%rbp), %rdi
callq 0x35f8
leaq -0x180(%rbp), %rdi
callq 0x35f8
jmp 0x842b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x90(%rbp)
movl %eax, -0x94(%rbp)
jmp 0x83f8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x90(%rbp)
movl %eax, -0x94(%rbp)
leaq -0x1a0(%rbp), %rdi
callq 0x35f8
leaq -0x1c0(%rbp), %rdi
callq 0x35f8
jmp 0x842b
movq -0x1e0(%rbp), %rdi
callq 0x35f8
leaq -0x48(%rbp), %rdi
callq 0x35f8
movq -0x1d8(%rbp), %rax
addq $0x1f0, %rsp            # imm = 0x1F0
popq %rbp
retq
movq -0x1e0(%rbp), %rdi
callq 0x35f8
leaq -0x48(%rbp), %rdi
callq 0x35f8
movq -0x90(%rbp), %rdi
callq 0x3540
nopl (%rax)