// File: /workspace/github_cpp_makefile_star2_O3/tomfunkhouser[P]gaps/apps/prp2prp/prp2prp.cpp
// Function: main
int main(int argc, char **argv)
{
  // Check program arguments
  if (argc < 4) { printf("Usage: prp2prp inputmesh inputprops outputprops [options]\n"); exit(-1); }
  input_mesh_name = argv[1];
  input_properties_name = argv[2];
  output_properties_name = argv[3];
  argc -=4; argv+=4;

  // Parse program arguments
  if (!ParseArgs(argc, argv)) exit(-1);

  // Read mesh file
  R3Mesh *mesh = ReadMesh(input_mesh_name);
  if (!mesh) exit(-1);

  // Read properties file
  R3MeshPropertySet *properties = ReadProperties(mesh, input_properties_name);
  if (!properties) exit(-1);

  // Apply property processing operations
  if (!ApplyOperations(mesh, properties, argc, argv)) exit(-1);

  // Write properties file
  if (!WriteProperties(properties, output_properties_name)) exit(-1);

  // Return success 
  return 0;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x10a8, %rsp           # imm = 0x10A8
cmpl $0x3, %edi
jle 0xf4ff
movq %rsi, %r15
movl %edi, %ebp
movq 0x8(%rsi), %r12
movq 0x10(%rsi), %rbx
movq 0x18(%rsi), %rax
movq %rax, 0x60(%rsp)
addl $-0x4, %ebp
addq $0x20, %r15
movl %ebp, %edi
movq %r15, %rsi
callq 0xe89f
leaq 0xa0(%rsp), %r14
movq %r14, %rdi
callq 0x53f90
movq %r14, %rdi
xorl %esi, %esi
callq 0xc5d0
movl $0x138, %edi            # imm = 0x138
callq 0xc390
movq %rax, %r14
movq %rax, %rdi
callq 0x157f8
movq (%r14), %rax
movq %r14, %rdi
movq %r12, %rsi
callq *0x180(%rax)
testl %eax, %eax
je 0xf50d
cmpb $0x1, 0x6e0da(%rip)     # 0x7cab8
jne 0xea51
leaq 0x486d4(%rip), %rdi     # 0x570bb
movq %r12, %rsi
xorl %eax, %eax
callq 0xc070
leaq 0xa0(%rsp), %rdi
callq 0x53ff2
leaq 0x486cd(%rip), %rdi     # 0x570d2
movb $0x1, %al
callq 0xc070
movl 0x34(%r14), %esi
leaq 0x486d2(%rip), %rdi     # 0x570e9
xorl %eax, %eax
callq 0xc070
movl 0x24(%r14), %esi
leaq 0x486d0(%rip), %rdi     # 0x570f9
xorl %eax, %eax
callq 0xc070
movl 0x14(%r14), %esi
leaq 0x486ce(%rip), %rdi     # 0x57109
xorl %eax, %eax
callq 0xc070
movq 0x6d53f(%rip), %rax     # 0x7bf88
movq (%rax), %rdi
callq 0xc440
movq %r14, %rdi
movq %rbx, %rsi
callq 0xf5c3
testq %rax, %rax
je 0xf549
movq %rax, %r13
movl %ebp, 0x8(%rsp)
movq %r15, 0x10(%rsp)
testl %ebp, %ebp
je 0xf334
leaq 0x90(%rsp), %rbx
movq %rbx, %rdi
callq 0x53f90
movq %rbx, %rdi
xorl %esi, %esi
callq 0xc5d0
cmpb $0x1, 0x6e01e(%rip)     # 0x7cab8
jne 0xeab7
leaq 0x489fb(%rip), %rdi     # 0x5749e
callq 0xc580
movq 0x6d4d9(%rip), %rax     # 0x7bf88
movq (%rax), %rdi
callq 0xc440
leaq 0x4872e(%rip), %r12     # 0x571ec
xorl %ebx, %ebx
movq %r13, 0x28(%rsp)
movl %ebx, 0xc(%rsp)
movq (%r15), %r14
movq %r14, %rdi
movq %r12, %rsi
callq 0xc500
testl %eax, %eax
je 0xebf1
movq %r14, %rdi
leaq 0x4870a(%rip), %rsi     # 0x571f3
callq 0xc500
testl %eax, %eax
je 0xecad
movq %r14, %rdi
leaq 0x486fc(%rip), %rsi     # 0x571fc
callq 0xc500
testl %eax, %eax
je 0xed2c
movq %r14, %rdi
leaq 0x486ed(%rip), %rsi     # 0x57204
callq 0xc500
testl %eax, %eax
je 0xede8
movq %r14, %rdi
leaq 0x486e2(%rip), %rsi     # 0x57210
callq 0xc500
testl %eax, %eax
je 0xf17c
movq %r14, %rdi
leaq 0x486d3(%rip), %rsi     # 0x57218
callq 0xc500
testl %eax, %eax
je 0xf1d8
movq %r14, %rdi
leaq 0x486c4(%rip), %rsi     # 0x57220
callq 0xc500
testl %eax, %eax
je 0xf26b
movq %r14, %rdi
leaq 0x486b5(%rip), %rsi     # 0x57228
callq 0xc500
testl %eax, %eax
je 0xf2c2
movq %r14, %rdi
leaq 0x484d8(%rip), %rsi     # 0x57062
callq 0xc500
testl %eax, %eax
je 0xf2cf
movq %r14, %rdi
leaq 0x484df(%rip), %rsi     # 0x57080
callq 0xc500
testl %eax, %eax
je 0xf2d8
movq %r14, %rdi
leaq 0x484a3(%rip), %rsi     # 0x5705b
callq 0xc500
testl %eax, %eax
je 0xf2e1
cmpb $0x2d, (%r14)
jne 0xf538
cmpb $0x76, 0x1(%r14)
jne 0xf538
cmpb $0x0, 0x2(%r14)
jne 0xf538
movb $0x1, 0x6decc(%rip)     # 0x7cab8
jmp 0xf2e8
movq 0x8(%r15), %r14
leaq 0x10(%r15), %rax
movq %rax, 0x10(%rsp)
addl $-0x2, %ebp
movl %ebp, 0x8(%rsp)
movq 0x10(%r15), %rbx
movq (%r13), %rdi
movq %r14, %rsi
callq 0xf5c3
testq %rax, %rax
je 0xf549
movq %rax, %r15
leaq 0xa0(%rsp), %rbp
movq %rbp, %rdi
movq %rax, %rsi
movq %rbx, %rdx
callq 0xf7d8
cmpl $0x0, 0xac(%rsp)
jle 0xec67
xorl %ebx, %ebx
movq 0xa0(%rsp), %rax
movq (%rax,%rbx,8), %rsi
movq %r13, %rdi
callq 0x104b4
incq %rbx
movslq 0xac(%rsp), %rax
cmpq %rax, %rbx
jl 0xec43
movq %r15, %rdi
callq 0x104c0
movl $0x18, %esi
movq %r15, %rdi
callq 0xc3a0
cmpb $0x1, 0x6de39(%rip)     # 0x7cabc
jne 0xeca5
leaq 0x485d4(%rip), %rdi     # 0x57260
movq %r14, %rsi
xorl %eax, %eax
callq 0xc070
movq 0x6d2eb(%rip), %rax     # 0x7bf88
movq (%rax), %rdi
callq 0xc440
movq %rbp, %rdi
jmp 0xf239
movq 0x8(%r15), %rdx
leaq 0x10(%r15), %rbx
movq %rbx, 0x10(%rsp)
addl $-0x2, %ebp
movl %ebp, 0x8(%rsp)
movq 0x10(%r15), %r14
leaq 0xa0(%rsp), %rdi
movq %r13, %rsi
callq 0xf7d8
cmpl $0x0, 0xac(%rsp)
jle 0xed1f
xorl %r15d, %r15d
movq 0xa0(%rsp), %rax
movq (%rax,%r15,8), %rsi
movl %ebp, 0x8(%rsp)
movq %rbx, 0x10(%rsp)
movq %r13, %rdi
movq %r14, %rdx
leaq 0x8(%rsp), %rcx
leaq 0x10(%rsp), %r8
xorl %r9d, %r9d
callq 0xf96e
incq %r15
movslq 0xac(%rsp), %rax
cmpq %rax, %r15
jl 0xece2
leaq 0xa0(%rsp), %rdi
jmp 0xf239
movq 0x8(%r15), %rdx
leaq 0x10(%r15), %r12
movq %r12, 0x10(%rsp)
addl $-0x2, %ebp
movl %ebp, 0x8(%rsp)
movq 0x10(%r15), %r14
leaq 0xa0(%rsp), %rdi
movq %r13, %rsi
callq 0xf7d8
cmpl $0x0, 0xac(%rsp)
jle 0xedcb
xorl %r13d, %r13d
movq 0xa0(%rsp), %rax
movq (%rax,%r13,8), %rbx
movl $0x448, %edi            # imm = 0x448
callq 0xc390
movq %rax, %r15
movq %rax, %rdi
movq %rbx, %rsi
callq 0x11ef8
movl %ebp, 0x8(%rsp)
movq %r12, 0x10(%rsp)
movq 0x28(%rsp), %rdi
movq %r15, %rsi
movq %r14, %rdx
leaq 0x8(%rsp), %rcx
leaq 0x10(%rsp), %r8
movl $0x1, %r9d
callq 0xf96e
movq 0x28(%rsp), %rdi
movq %r15, %rsi
callq 0x104b4
incq %r13
movslq 0xac(%rsp), %rax
cmpq %rax, %r13
jl 0xed61
leaq 0xa0(%rsp), %rdi
callq 0x54596
movl 0xc(%rsp), %ebx
incl %ebx
movq 0x28(%rsp), %r13
jmp 0xf170
movq 0x8(%r15), %r12
movq (%r13), %r14
movq %r12, %rdi
callq 0xc480
movsd %xmm0, 0x20(%rsp)
movq %r14, %rdi
callq 0x103a1
mulsd 0x20(%rsp), %xmm0
movsd %xmm0, 0x68(%rsp)
movq 0x10(%r15), %rdi
callq 0xc480
movsd %xmm0, 0x78(%rsp)
movq 0x18(%r15), %rdi
callq 0xc590
addl $-0x4, %ebp
movl %ebp, 0x8(%rsp)
addq $0x20, %r15
movq %r15, 0x10(%rsp)
movsd 0x68(%rsp), %xmm0
ucomisd 0x481d0(%rip), %xmm0    # 0x57018
jne 0xee50
jnp 0xf16a
movsd 0x78(%rsp), %xmm0
ucomisd 0x481ba(%rip), %xmm0    # 0x57018
jne 0xee66
jnp 0xf16a
testl %eax, %eax
je 0xf16a
movl %eax, 0x1c(%rsp)
leaq 0x30(%rsp), %rdi
movq %r13, %rsi
movq %r12, %rdx
callq 0xf7d8
movslq 0x3c(%rsp), %rbx
testq %rbx, %rbx
je 0xf160
movq %rbx, %rdi
shlq $0x3, %rdi
testl %ebx, %ebx
movq $-0x1, %rax
cmovsq %rax, %rdi
callq 0xc030
movq %rax, 0x40(%rsp)
movl 0x1c(%rsp), %eax
movl %eax, %r15d
testl %ebx, %ebx
jle 0xef85
movslq %eax, %rcx
shlq $0x3, %rcx
testl %eax, %eax
movq $-0x1, %rax
cmovsq %rax, %rcx
movq %rcx, 0x48(%rsp)
xorl %r12d, %r12d
movq 0x30(%rsp), %rax
movq (%rax,%r12,8), %rax
movq %rax, 0x20(%rsp)
movq 0x48(%rsp), %rdi
callq 0xc030
movq %rax, %rcx
movq 0x40(%rsp), %rax
movq %rcx, (%rax,%r12,8)
cmpl $0x0, 0x1c(%rsp)
jle 0xef76
movq %rcx, 0x58(%rsp)
movq %r12, 0x50(%rsp)
addq $0x8, 0x20(%rsp)
xorl %ebp, %ebp
leaq 0x1(%rbp), %rbx
leaq 0xa0(%rsp), %r12
movq %r12, %rdi
leaq 0x484c1(%rip), %rsi     # 0x573ed
movq 0x20(%rsp), %rdx
movl %ebx, %ecx
xorl %eax, %eax
callq 0xc0d0
movl $0x448, %edi            # imm = 0x448
callq 0xc390
movq %rax, %r13
movq %rax, %rdi
movq %r14, %rsi
movq %r12, %rdx
xorl %ecx, %ecx
callq 0x11df0
movq 0x58(%rsp), %rax
movq %r13, (%rax,%rbp,8)
movq %rbx, %rbp
cmpq %rbx, %r15
jne 0xef16
movl 0x3c(%rsp), %ebx
movq 0x28(%rsp), %r13
movq 0x50(%rsp), %r12
incq %r12
movslq %ebx, %rax
cmpq %rax, %r12
jl 0xeed9
cmpl $0x0, 0x14(%r14)
jle 0xf123
xorl %ecx, %ecx
movq 0x8(%r14), %rax
movq %rcx, 0x70(%rsp)
movq (%rax,%rcx,8), %rsi
xorpd %xmm0, %xmm0
movq %r14, %rdi
xorl %edx, %edx
callq 0x20706
movq %rax, %r12
movl 0x3c(%rsp), %eax
testl %eax, %eax
jle 0xf0fd
xorl %ebx, %ebx
cmpl $0x0, 0x1c(%rsp)
jle 0xf0ee
xorl %r13d, %r13d
movsd 0x68(%rsp), %xmm0
movapd %xmm0, %xmm1
mulsd 0x4802a(%rip), %xmm1    # 0x57008
movl 0x14(%r14), %eax
testl %eax, %eax
jle 0xf0d3
mulsd %xmm0, %xmm1
movsd %xmm0, 0x80(%rsp)
movapd %xmm0, %xmm4
mulsd 0x4800d(%rip), %xmm4    # 0x57010
xorpd %xmm2, %xmm2
xorl %ebp, %ebp
xorpd %xmm3, %xmm3
movsd %xmm1, 0x48(%rsp)
movsd %xmm4, 0x88(%rsp)
movsd (%r12,%rbp,8), %xmm0
ucomisd %xmm4, %xmm0
ja 0xf08d
movq 0x30(%rsp), %rax
movq (%rax,%rbx,8), %rax
movq 0x410(%rax), %rax
movsd (%rax,%rbp,8), %xmm5
movsd %xmm5, 0x50(%rsp)
mulsd %xmm0, %xmm0
divsd %xmm1, %xmm0
movsd %xmm2, 0x20(%rsp)
movsd %xmm3, 0x58(%rsp)
callq 0xc670
movsd 0x88(%rsp), %xmm4
movsd 0x58(%rsp), %xmm3
movsd 0x20(%rsp), %xmm2
movsd 0x48(%rsp), %xmm1
movsd 0x50(%rsp), %xmm5
mulsd %xmm0, %xmm5
addsd %xmm5, %xmm3
addsd %xmm0, %xmm2
movl 0x14(%r14), %eax
incq %rbp
movslq %eax, %rcx
cmpq %rcx, %rbp
jl 0xf01c
ucomisd 0x47f78(%rip), %xmm2    # 0x57018
movsd 0x80(%rsp), %xmm0
jbe 0xf0d3
movq 0x40(%rsp), %rax
movq (%rax,%rbx,8), %rax
movq (%rax,%r13,8), %rdi
divsd %xmm2, %xmm3
movq 0x70(%rsp), %rsi
movapd %xmm3, %xmm0
callq 0x1384a
movsd 0x80(%rsp), %xmm0
mulsd 0x78(%rsp), %xmm0
incq %r13
cmpq %r15, %r13
jne 0xefd2
movl 0x3c(%rsp), %eax
movq 0x28(%rsp), %r13
incq %rbx
movslq %eax, %rcx
cmpq %rcx, %rbx
jl 0xefbe
testq %r12, %r12
je 0xf10a
movq %r12, %rdi
callq 0xc4b0
movq 0x70(%rsp), %rcx
incq %rcx
movslq 0x14(%r14), %rax
cmpq %rax, %rcx
jl 0xef92
movl 0x3c(%rsp), %ebx
testl %ebx, %ebx
jle 0xf160
xorl %r14d, %r14d
cmpl $0x0, 0x1c(%rsp)
jle 0xf155
movq 0x40(%rsp), %rax
movq (%rax,%r14,8), %rbx
xorl %r12d, %r12d
movq (%rbx,%r12,8), %rsi
movq %r13, %rdi
callq 0x104b4
incq %r12
cmpq %r12, %r15
jne 0xf13d
movl 0x3c(%rsp), %ebx
incq %r14
movslq %ebx, %rax
cmpq %rax, %r14
jl 0xf12a
leaq 0x30(%rsp), %rdi
callq 0x54596
movl 0xc(%rsp), %ebx
incl %ebx
leaq 0x48075(%rip), %r12     # 0x571ec
jmp 0xf244
leaq 0x8(%r15), %rax
movq %rax, 0x10(%rsp)
decl %ebp
movl %ebp, 0x8(%rsp)
movq 0x8(%r15), %rdx
leaq 0xa0(%rsp), %r14
movq %r14, %rdi
movq %r13, %rsi
callq 0xf7d8
cmpl $0x0, 0xac(%rsp)
jle 0xf236
xorl %ebx, %ebx
movq 0xa0(%rsp), %rax
movq (%rax,%rbx,8), %rsi
movq %r13, %rdi
callq 0x105fa
incq %rbx
movslq 0xac(%rsp), %rax
cmpq %rax, %rbx
jl 0xf1b2
jmp 0xf236
leaq 0x8(%r15), %rax
movq %rax, 0x10(%rsp)
decl %ebp
movl %ebp, 0x8(%rsp)
movq 0x8(%r15), %rdx
leaq 0xa0(%rsp), %r14
movq %r14, %rdi
movq %r13, %rsi
callq 0xf7d8
movq %r13, %rdi
callq 0x104e4
cmpl $0x0, 0xac(%rsp)
jle 0xf236
xorl %ebx, %ebx
movq 0xa0(%rsp), %rax
movq (%rax,%rbx,8), %rsi
movq %r13, %rdi
callq 0x104b4
incq %rbx
movslq 0xac(%rsp), %rax
cmpq %rax, %rbx
jl 0xf212
movq %r14, %rdi
callq 0x54596
movl 0xc(%rsp), %ebx
incl %ebx
movq 0x10(%rsp), %r15
addq $0x8, %r15
movq %r15, 0x10(%rsp)
movl 0x8(%rsp), %eax
leal -0x1(%rax), %ebp
movl %ebp, 0x8(%rsp)
cmpl $0x1, %eax
jg 0xeac5
jmp 0xf2f1
movq 0x8(%r15), %rbx
leaq 0x10(%r15), %rax
movq %rax, 0x10(%rsp)
addl $-0x2, %ebp
movl %ebp, 0x8(%rsp)
movq 0x10(%r15), %r14
leaq 0xa0(%rsp), %r15
movq %r15, %rdi
movq %r13, %rsi
movq %rbx, %rdx
callq 0xf7d8
cmpl $0x1, 0xac(%rsp)
jne 0xf522
movq 0xa0(%rsp), %rax
movq (%rax), %rdi
movq %r14, %rsi
callq 0x139da
movq %r15, %rdi
jmp 0xf239
movq %r13, %rdi
callq 0x10566
jmp 0xf23e
movb $0x1, 0x6d7ea(%rip)     # 0x7cac0
jmp 0xf2e8
movb $0x0, 0x6d7e1(%rip)     # 0x7cac0
jmp 0xf2e8
movb $0x1, 0x6d7d4(%rip)     # 0x7cabc
movl 0xc(%rsp), %ebx
jmp 0xf244
cmpb $0x1, 0x6d7c0(%rip)     # 0x7cab8
jne 0xf334
leaq 0x90(%rsp), %rdi
callq 0x53ff2
leaq 0x47dc4(%rip), %rdi     # 0x570d2
movb $0x1, %al
callq 0xc070
leaq 0x47f30(%rip), %rdi     # 0x5724c
movl %ebx, %esi
xorl %eax, %eax
callq 0xc070
movq 0x6cc5c(%rip), %rax     # 0x7bf88
movq (%rax), %rdi
callq 0xc440
movq 0x60(%rsp), %r14
leaq 0xa0(%rsp), %rbx
movq %rbx, %rdi
callq 0x53f90
movq %rbx, %rdi
xorl %esi, %esi
callq 0xc5d0
movq %r13, %rdi
movq %r14, %rsi
callq 0x116b8
testl %eax, %eax
je 0xf519
cmpb $0x1, 0x6d74b(%rip)     # 0x7cab8
jne 0xf3d1
leaq 0x480d2(%rip), %rdi     # 0x57448
movq %r14, %rsi
xorl %eax, %eax
callq 0xc070
leaq 0xa0(%rsp), %rdi
callq 0x53ff2
leaq 0x47d3e(%rip), %rdi     # 0x570d2
movb $0x1, %al
callq 0xc070
movl 0x14(%r13), %esi
leaq 0x47d93(%rip), %rdi     # 0x57139
xorl %eax, %eax
callq 0xc070
movq (%r13), %rax
movl 0x14(%rax), %esi
leaq 0x47d4e(%rip), %rdi     # 0x57109
xorl %eax, %eax
callq 0xc070
movq 0x6cbbf(%rip), %rax     # 0x7bf88
movq (%rax), %rdi
callq 0xc440
cmpb $0x1, 0x6d6e4(%rip)     # 0x7cabc
jne 0xf4eb
movq %r13, %rbx
movl $0xa, %edi
callq 0xc4f0
cmpl $0x0, 0x14(%r13)
jle 0xf4eb
leaq 0x47dba(%rip), %r15     # 0x571b7
leaq 0x47dc6(%rip), %r12     # 0x571ca
leaq 0x47dd0(%rip), %r13     # 0x571db
xorl %ebp, %ebp
movq 0x8(%rbx), %rax
movq (%rax,%rbp,8), %r14
leaq 0x8(%r14), %rdx
leaq 0x47d2e(%rip), %rdi     # 0x5714e
movl %ebp, %esi
xorl %eax, %eax
callq 0xc070
movq %r14, %rdi
callq 0x12594
leaq 0x47d28(%rip), %rdi     # 0x57160
movb $0x1, %al
callq 0xc070
movq %r14, %rdi
callq 0x12616
leaq 0x47d24(%rip), %rdi     # 0x57172
movb $0x1, %al
callq 0xc070
movq %r14, %rdi
callq 0x12a3c
leaq 0x47d20(%rip), %rdi     # 0x57184
movb $0x1, %al
callq 0xc070
movq %r14, %rdi
callq 0x12506
leaq 0x47d1b(%rip), %rdi     # 0x57195
movb $0x1, %al
callq 0xc070
movq %r14, %rdi
callq 0x12a6c
leaq 0x47d14(%rip), %rdi     # 0x571a4
movl %eax, %esi
xorl %eax, %eax
callq 0xc070
movq %r14, %rdi
callq 0x12ab6
movq %r15, %rdi
movl %eax, %esi
xorl %eax, %eax
callq 0xc070
movq %r14, %rdi
callq 0x12b4c
movq %r12, %rdi
movb $0x1, %al
callq 0xc070
movq %r14, %rdi
callq 0x12bac
movq %r13, %rdi
movb $0x1, %al
callq 0xc070
movl $0xa, %edi
callq 0xc4f0
incq %rbp
movslq 0x14(%rbx), %rax
cmpq %rax, %rbp
jl 0xf40d
xorl %eax, %eax
addq $0x10a8, %rsp           # imm = 0x10A8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x47f5e(%rip), %rdi     # 0x57464
callq 0xc580
jmp 0xf549
leaq 0x47b8a(%rip), %rdi     # 0x5709e
movq %r12, %rsi
jmp 0xf542
leaq 0x47f06(%rip), %rdi     # 0x57426
jmp 0xf53f
leaq 0x47ed5(%rip), %rdi     # 0x573fe
movq %rbx, %rsi
xorl %eax, %eax
callq 0x566f2
callq 0xc210
leaq 0x47cef(%rip), %rdi     # 0x5722e
movq %r14, %rsi
xorl %eax, %eax
callq 0x566f2
movl $0xffffffff, %edi       # imm = 0xFFFFFFFF
callq 0xc470
jmp 0xf58b
jmp 0xf58b
jmp 0xf5ae
jmp 0xf58b
movq %rax, %rbx
movl $0x138, %esi            # imm = 0x138
movq %r14, %rdi
callq 0xc3a0
jmp 0xf5bb
jmp 0xf5ae
jmp 0xf5ae
jmp 0xf58b
jmp 0xf58b
movq %rax, %rbx
movl $0x448, %esi            # imm = 0x448
movq %r15, %rdi
callq 0xc3a0
jmp 0xf58e
jmp 0xf58b
jmp 0xf58b
movq %rax, %rbx
leaq 0xa0(%rsp), %rdi
jmp 0xf5b6
jmp 0xf5ae
jmp 0xf5ae
movq %rax, %rbx
movl $0x448, %esi            # imm = 0x448
movq %r13, %rdi
callq 0xc3a0
jmp 0xf5b1
movq %rax, %rbx
leaq 0x30(%rsp), %rdi
callq 0x54596
movq %rbx, %rdi
callq 0xc650