// File: /workspace/github_cpp_makefile_star2_O3/dsharlet[P]array/test/array.cpp
// Function: nda::test_array_copy_body()
TEST(array_copy) {
  array_of_rank<int, 3> a({4, 5, 6});
  fill_pattern(a);

  dense_array<int, 3> b({4, 5, 6});
  copy(a, b);
  check_pattern(b);

  array_of_rank<int, 3> c({dim<>(0, 4, 2), 5, 6});
  copy(b, c);
  check_pattern(c);

  array_of_rank<int, 3> d = make_copy(a, c.shape());
  ASSERT_EQ(c.shape(), d.shape());
  check_pattern(d);

  dense_array<int, 3> e = make_copy(a, b.shape());
  ASSERT_EQ(b.shape(), e.shape());
  check_pattern(e);

  dense_array<int, 3> g({{1, 2}, {1, 3}, {1, 4}});
  copy(a, g);
  check_pattern(g);

  array_of_rank<int, 3> h = make_copy(a);
  check_pattern(h);

  array_of_rank<int, 3, uninitialized_std_allocator<int>> h_uninitialized =
      make_copy(a, uninitialized_std_allocator<int>());
  check_pattern(h_uninitialized);

  array_of_rank<int, 3> i = make_copy(a.ref());
  check_pattern(i);

  array_of_rank<int, 3, uninitialized_std_allocator<int>> i_uninitialized =
      make_copy(a.ref(), uninitialized_std_allocator<int>());
  check_pattern(i_uninitialized);

  array_of_rank<int, 3> j = make_copy(a.cref());
  check_pattern(i);

  array_of_rank<int, 3, uninitialized_std_allocator<int>> j_uninitialized =
      make_copy(a.cref(), uninitialized_std_allocator<int>());
  check_pattern(j_uninitialized);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x6d8, %rsp            # imm = 0x6D8
movabsq $-0x8000000000000000, %r13 # imm = 0x8000000000000000
leaq 0x188(%rsp), %rbx
xorps %xmm0, %xmm0
movups %xmm0, -0x8(%rbx)
movups %xmm0, -0x18(%rbx)
movq $0x6, 0x8(%rbx)
movq %r13, 0x10(%rbx)
xorl %eax, %eax
movq %rax, 0x18(%rbx)
movq $0x5, 0x20(%rbx)
movq %r13, 0x28(%rbx)
movq %rax, 0x30(%rbx)
movq $0x4, 0x38(%rbx)
movq %r13, 0x40(%rbx)
leaq 0x168(%rsp), %r14
movq %r14, %rdi
callq 0x1a8cc
movq %r14, %rdi
callq 0x1a9a6
movq 0x18(%r14), %rcx
leaq 0x540(%rsp), %rax
movq %rcx, -0x8(%rax)
movl $0x9, %ecx
movq %rax, %rdi
movq %rbx, %rsi
rep  movsq (%rsi), %es:(%rdi)
leaq 0x390(%rsp), %rcx
movl $0x0, (%rcx)
leaq 0x100(%rsp), %rsi
movq %rcx, (%rsi)
leaq 0x538(%rsp), %rcx
movq %rcx, 0x8(%rsi)
movq %rax, %rdi
callq 0x1d948
leaq 0x538(%rsp), %rsi
movq $0x0, (%rsi)
movq $0x4, 0x8(%rsi)
movq %r13, 0x10(%rsi)
xorl %edi, %edi
callq 0xd133
xorps %xmm0, %xmm0
leaq 0x100(%rsp), %rdi
movups %xmm0, 0x8(%rdi)
movups %xmm0, 0x18(%rdi)
movq $0x6, 0x28(%rdi)
movq %r13, 0x30(%rdi)
xorl %eax, %eax
movq %rax, 0x38(%rdi)
movq $0x5, 0x40(%rdi)
movq %r13, 0x48(%rdi)
movq %rax, 0x50(%rdi)
movq $0x4, 0x58(%rdi)
callq 0xc30a
leaq 0x100(%rsp), %rdi
callq 0xc412
leaq 0x120(%rsp), %r14
movq 0x180(%rsp), %rax
leaq 0x540(%rsp), %rdi
movq %rax, -0x8(%rdi)
movl $0x9, %ecx
movq %rbx, %rsi
rep  movsq (%rsi), %es:(%rdi)
movq -0x8(%r14), %rax
leaq 0x398(%rsp), %rdi
movq %rax, -0x8(%rdi)
movl $0x9, %ecx
movq %r14, %rsi
rep  movsq (%rsi), %es:(%rdi)
leaq 0x538(%rsp), %r15
leaq 0x390(%rsp), %r12
movq %r15, %rdi
movq %r12, %rsi
callq 0x1b561
xorps %xmm0, %xmm0
movaps %xmm0, 0x390(%rsp)
movq $0x0, 0x3a0(%rsp)
movq 0x118(%rsp), %rcx
leaq 0x540(%rsp), %rax
movq %rcx, -0x8(%rax)
movl $0x9, %ecx
movq %rax, %rdi
movq %r14, %rsi
rep  movsq (%rsi), %es:(%rdi)
leaq 0x470(%rsp), %rsi
movq %r15, (%rsi)
movq %r12, 0x8(%rsi)
movq %rax, %rdi
callq 0x1f012
leaq 0x390(%rsp), %rdi
xorps %xmm0, %xmm0
movups %xmm0, 0x18(%rdi)
movups %xmm0, 0x8(%rdi)
movq $0x6, 0x28(%rdi)
movq %r13, 0x30(%rdi)
xorl %eax, %eax
movq %rax, 0x38(%rdi)
movq $0x5, 0x40(%rdi)
movq %r13, 0x48(%rdi)
movq %rax, 0x50(%rdi)
movq $0x4, 0x58(%rdi)
movq $0x2, 0x60(%rdi)
callq 0x1a8cc
leaq 0x390(%rsp), %rdi
callq 0x1a9a6
leaq 0x3b0(%rsp), %r13
movq 0x118(%rsp), %rax
leaq 0x540(%rsp), %rdi
movq %rax, -0x8(%rdi)
movl $0x9, %ecx
movq %r14, %rsi
rep  movsq (%rsi), %es:(%rdi)
movq -0x8(%r13), %rax
leaq 0x478(%rsp), %rdi
movq %rax, -0x8(%rdi)
movl $0x9, %ecx
movq %r13, %rsi
rep  movsq (%rsi), %es:(%rdi)
leaq 0x538(%rsp), %r15
leaq 0x470(%rsp), %r12
movq %r15, %rdi
movq %r12, %rsi
callq 0x1f3ed
xorps %xmm0, %xmm0
movaps %xmm0, 0x470(%rsp)
movq $0x0, 0x480(%rsp)
movq 0x3a8(%rsp), %rcx
leaq 0x540(%rsp), %rax
movq %rcx, -0x8(%rax)
movl $0x9, %ecx
movq %rax, %rdi
movq %r13, %rsi
rep  movsq (%rsi), %es:(%rdi)
movq %rsp, %rsi
movq %r15, (%rsi)
movq %r12, 0x8(%rsi)
movq %rax, %rdi
callq 0x1f848
movq 0x180(%rsp), %rax
leaq 0x540(%rsp), %rdi
movq %rax, -0x8(%rdi)
movl $0x9, %ecx
movq %rbx, %rsi
rep  movsq (%rsi), %es:(%rdi)
leaq 0x470(%rsp), %rdi
leaq 0x538(%rsp), %rsi
movq %rsp, %rcx
movq %r13, %rdx
callq 0x1a73b
leaq 0x490(%rsp), %r15
movq %r13, %rdi
movq %r15, %rsi
callq 0x1dd08
movl %eax, %ebp
leaq 0x10(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x90193(%rip), %rsi     # 0xa5012
leaq 0x901a2(%rip), %rdx     # 0xa5028
movq %rsp, %rdi
callq 0xd14c
movzbl %bpl, %esi
leaq 0x538(%rsp), %rdi
movq %rsp, %r12
movq %r12, %rdx
callq 0xbf80
leaq 0x8e7d8(%rip), %rsi     # 0xa3684
leaq 0x538(%rsp), %rdi
callq 0x18fba
leaq 0x90169(%rip), %rsi     # 0xa5029
movq %rax, %rdi
callq 0x1902a
leaq 0x92387(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %rbp
cmpb $0x1, 0x188(%rax)
jne 0x14ef2
movq %rbp, %rdi
addq $0x10, %rdi
movq %r13, %rsi
callq 0x1fb71
leaq 0x8e78b(%rip), %rsi     # 0xa3684
movq %rbp, %rdi
callq 0x18fba
leaq 0x90117(%rip), %rsi     # 0xa501f
movq %rax, %rdi
callq 0x1902a
leaq 0x9233f(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %r13
cmpb $0x1, 0x188(%rax)
jne 0x14f3a
movq %r13, %rdi
addq $0x10, %rdi
movq %r15, %rsi
callq 0x1fb71
leaq 0xa5358(%rip), %rsi     # 0xba299
movq %r13, %rdi
callq 0x18fba
leaq 0x538(%rsp), %r13
movq %r13, %rdi
callq 0xbfd8
movq (%rsp), %rdi
cmpq %r14, %rdi
je 0x14f6f
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x21f0
xorps %xmm0, %xmm0
movaps %xmm0, (%rsp)
movq $0x0, 0x10(%rsp)
movq 0x488(%rsp), %rcx
leaq 0x540(%rsp), %rax
movq %rcx, -0x8(%rax)
movl $0x9, %ecx
movq %rax, %rdi
movq %r15, %rsi
rep  movsq (%rsi), %es:(%rdi)
leaq 0x70(%rsp), %rsi
movq %r13, (%rsi)
movq %r12, 0x8(%rsi)
movq %rax, %rdi
callq 0x1f848
leaq 0x120(%rsp), %r14
movq 0x180(%rsp), %rax
leaq 0x540(%rsp), %rdi
movq %rax, -0x8(%rdi)
movl $0x9, %ecx
movq %rbx, %rsi
rep  movsq (%rsi), %es:(%rdi)
movq %rsp, %rdi
leaq 0x538(%rsp), %rsi
leaq 0x70(%rsp), %rcx
movq %r14, %rdx
callq 0x1b3d9
movq 0x150(%rsp), %rax
xorl %ebp, %ebp
cmpq 0x50(%rsp), %rax
jne 0x15074
movq 0x58(%rsp), %rax
cmpq %rax, 0x158(%rsp)
jne 0x15074
movq 0x138(%rsp), %rax
cmpq 0x38(%rsp), %rax
jne 0x15072
movq 0x140(%rsp), %rax
cmpq 0x40(%rsp), %rax
jne 0x15072
movq 0x148(%rsp), %rax
cmpq 0x48(%rsp), %rax
jne 0x15072
movq 0x120(%rsp), %rax
cmpq 0x20(%rsp), %rax
jne 0x15072
movq 0x128(%rsp), %rax
cmpq 0x28(%rsp), %rax
jne 0x15072
movq 0x130(%rsp), %rax
cmpq 0x30(%rsp), %rax
sete %bpl
jmp 0x15074
xorl %ebp, %ebp
leaq 0x80(%rsp), %r13
movq %r13, -0x10(%r13)
leaq 0x8ffac(%rip), %rsi     # 0xa5033
leaq 0x8ffbb(%rip), %rdx     # 0xa5049
leaq 0x70(%rsp), %rdi
callq 0xd14c
movzbl %bpl, %esi
leaq 0x538(%rsp), %rdi
leaq 0x70(%rsp), %r15
movq %r15, %rdx
callq 0xbf80
leaq 0x8e5cc(%rip), %rsi     # 0xa3684
leaq 0x538(%rsp), %rdi
callq 0x18fba
leaq 0x8ff7e(%rip), %rsi     # 0xa504a
movq %rax, %rdi
callq 0x1902a
leaq 0x9217b(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %r12
cmpb $0x1, 0x188(%rax)
jne 0x150fe
movq %r12, %rdi
addq $0x10, %rdi
movq %r14, %rsi
callq 0x1fcd1
leaq 0x8e57f(%rip), %rsi     # 0xa3684
movq %r12, %rdi
callq 0x18fba
leaq 0x8ff2c(%rip), %rsi     # 0xa5040
movq %rax, %rdi
callq 0x1902a
leaq 0x92133(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %r12
leaq 0x20(%rsp), %r14
cmpb $0x1, 0x188(%rax)
jne 0x1514b
movq %r12, %rdi
addq $0x10, %rdi
movq %r14, %rsi
callq 0x1fcd1
leaq 0xa5147(%rip), %rsi     # 0xba299
movq %r12, %rdi
callq 0x18fba
leaq 0x538(%rsp), %r12
movq %r12, %rdi
callq 0xbfd8
movq 0x70(%rsp), %rdi
cmpq %r13, %rdi
je 0x15184
movq 0x80(%rsp), %rsi
incq %rsi
callq 0x21f0
xorps %xmm0, %xmm0
movaps %xmm0, 0x70(%rsp)
movq $0x0, 0x80(%rsp)
movq 0x18(%rsp), %rcx
leaq 0x540(%rsp), %rax
movq %rcx, -0x8(%rax)
movl $0x9, %ecx
movq %rax, %rdi
movq %r14, %rsi
rep  movsq (%rsi), %es:(%rdi)
leaq 0x240(%rsp), %rsi
movq %r12, (%rsi)
movq %r15, 0x8(%rsi)
movq %rax, %rdi
callq 0x1f012
movabsq $-0x8000000000000000, %r15 # imm = 0x8000000000000000
movl $0x1, %r14d
leaq 0x70(%rsp), %rsi
movq %r14, (%rsi)
movq $0x2, 0x8(%rsi)
movq %r14, 0x10(%rsi)
xorl %edi, %edi
callq 0xd133
xorps %xmm0, %xmm0
leaq 0x538(%rsp), %rdi
movups %xmm0, 0x8(%rdi)
movq $0x0, 0x18(%rdi)
movq %r14, 0x20(%rdi)
movq $0x4, 0x28(%rdi)
movq %r15, 0x30(%rdi)
movq %r14, 0x38(%rdi)
movq $0x3, 0x40(%rdi)
movq %r15, 0x48(%rdi)
movq %r14, 0x50(%rdi)
movq $0x2, 0x58(%rdi)
callq 0xc30a
leaq 0x538(%rsp), %rdi
callq 0xc412
leaq 0x558(%rsp), %r14
movq 0x180(%rsp), %rax
leaq 0x78(%rsp), %rdi
movq %rax, -0x8(%rdi)
movl $0x9, %ecx
movq %rbx, %rsi
rep  movsq (%rsi), %es:(%rdi)
movq -0x8(%r14), %rax
leaq 0x248(%rsp), %rdi
movq %rax, -0x8(%rdi)
movl $0x9, %ecx
movq %r14, %rsi
rep  movsq (%rsi), %es:(%rdi)
leaq 0x70(%rsp), %r15
leaq 0x240(%rsp), %r12
movq %r15, %rdi
movq %r12, %rsi
callq 0x1b561
xorps %xmm0, %xmm0
movaps %xmm0, 0x240(%rsp)
movq $0x0, 0x250(%rsp)
movq 0x550(%rsp), %rcx
leaq 0x78(%rsp), %rax
movq %rcx, -0x8(%rax)
movl $0x9, %ecx
movq %rax, %rdi
movq %r14, %rsi
rep  movsq (%rsi), %es:(%rdi)
leaq 0x1d0(%rsp), %rsi
movq %r15, (%rsi)
movq %r12, 0x8(%rsi)
movq %rax, %rdi
callq 0x1f012
movq 0x180(%rsp), %rax
leaq 0x248(%rsp), %rdi
movq %rax, -0x8(%rdi)
movl $0x9, %ecx
movq %rbx, %rsi
rep  movsq (%rsi), %es:(%rdi)
leaq 0x70(%rsp), %rdi
leaq 0x240(%rsp), %r14
leaq 0x1d0(%rsp), %r15
movq %r14, %rsi
movq %r15, %rdx
callq 0x19e23
xorps %xmm0, %xmm0
movaps %xmm0, 0x1d0(%rsp)
movq $0x0, 0x1e0(%rsp)
leaq 0x90(%rsp), %rsi
movq -0x8(%rsi), %rcx
leaq 0x248(%rsp), %rax
movq %rcx, -0x8(%rax)
movl $0x9, %ecx
movq %rax, %rdi
rep  movsq (%rsi), %es:(%rdi)
leaq 0x320(%rsp), %rsi
movq %r14, (%rsi)
movq %r15, 0x8(%rsi)
movq %rax, %rdi
callq 0x1f848
movq 0x180(%rsp), %rax
leaq 0x1d8(%rsp), %rdi
movq %rax, -0x8(%rdi)
movl $0x9, %ecx
movq %rbx, %rsi
rep  movsq (%rsi), %es:(%rdi)
leaq 0x240(%rsp), %rdi
leaq 0x1d0(%rsp), %r14
leaq 0x320(%rsp), %r15
movq %r14, %rsi
movq %r15, %rdx
callq 0x19fb4
xorps %xmm0, %xmm0
movaps %xmm0, 0x320(%rsp)
movq $0x0, 0x330(%rsp)
leaq 0x260(%rsp), %rsi
movq -0x8(%rsi), %rcx
leaq 0x1d8(%rsp), %rax
movq %rcx, -0x8(%rax)
movl $0x9, %ecx
movq %rax, %rdi
rep  movsq (%rsi), %es:(%rdi)
leaq 0x400(%rsp), %rsi
movq %r14, (%rsi)
movq %r15, 0x8(%rsi)
movq %rax, %rdi
callq 0x1f848
movq 0x180(%rsp), %rax
leaq 0x328(%rsp), %rdi
movq %rax, -0x8(%rdi)
movl $0x9, %ecx
movq %rbx, %rsi
rep  movsq (%rsi), %es:(%rdi)
leaq 0x1d0(%rsp), %rdi
leaq 0x320(%rsp), %r15
leaq 0x400(%rsp), %r12
movq %r15, %rsi
movq %r12, %rdx
callq 0x19b01
xorps %xmm0, %xmm0
movaps %xmm0, 0x400(%rsp)
movq $0x0, 0x410(%rsp)
leaq 0x1f0(%rsp), %r14
movq -0x8(%r14), %rcx
leaq 0x328(%rsp), %rax
movq %rcx, -0x8(%rax)
movl $0x9, %ecx
movq %rax, %rdi
movq %r14, %rsi
rep  movsq (%rsi), %es:(%rdi)
leaq 0x2b0(%rsp), %rsi
movq %r15, (%rsi)
movq %r12, 0x8(%rsi)
movq %rax, %rdi
callq 0x1f848
movq 0x180(%rsp), %rax
leaq 0x408(%rsp), %rdi
movq %rax, -0x8(%rdi)
movl $0x9, %ecx
movq %rbx, %rsi
rep  movsq (%rsi), %es:(%rdi)
leaq 0x320(%rsp), %rdi
leaq 0x400(%rsp), %r15
leaq 0x2b0(%rsp), %r12
movq %r15, %rsi
movq %r12, %rdx
callq 0x19c92
xorps %xmm0, %xmm0
movaps %xmm0, 0x2b0(%rsp)
movq $0x0, 0x2c0(%rsp)
leaq 0x340(%rsp), %rsi
movq -0x8(%rsi), %rcx
leaq 0x408(%rsp), %rax
movq %rcx, -0x8(%rax)
movl $0x9, %ecx
movq %rax, %rdi
rep  movsq (%rsi), %es:(%rdi)
leaq 0x4e0(%rsp), %rsi
movq %r15, (%rsi)
movq %r12, 0x8(%rsi)
movq %rax, %rdi
callq 0x1f848
movq 0x180(%rsp), %rax
leaq 0x2b8(%rsp), %rdi
movq %rax, -0x8(%rdi)
movl $0x9, %ecx
movq %rbx, %rsi
rep  movsq (%rsi), %es:(%rdi)
leaq 0x400(%rsp), %rdi
leaq 0x2b0(%rsp), %r15
leaq 0x4e0(%rsp), %r12
movq %r15, %rsi
movq %r12, %rdx
callq 0x19e23
xorps %xmm0, %xmm0
movaps %xmm0, 0x4e0(%rsp)
movq $0x0, 0x4f0(%rsp)
movq 0x1e8(%rsp), %rcx
leaq 0x2b8(%rsp), %rax
movq %rcx, -0x8(%rax)
movl $0x9, %ecx
movq %rax, %rdi
movq %r14, %rsi
rep  movsq (%rsi), %es:(%rdi)
leaq 0xe0(%rsp), %rsi
movq %r15, (%rsi)
movq %r12, 0x8(%rsi)
movq %rax, %rdi
callq 0x1f848
movq 0x180(%rsp), %rax
leaq 0x4e8(%rsp), %rdi
movq %rax, -0x8(%rdi)
movl $0x9, %ecx
movq %rbx, %rsi
rep  movsq (%rsi), %es:(%rdi)
leaq 0x2b0(%rsp), %rdi
leaq 0x4e0(%rsp), %rbx
leaq 0xe0(%rsp), %r14
movq %rbx, %rsi
movq %r14, %rdx
callq 0x19fb4
xorps %xmm0, %xmm0
movaps %xmm0, 0xe0(%rsp)
movq $0x0, 0xf0(%rsp)
leaq 0x2d0(%rsp), %rsi
movq -0x8(%rsi), %rcx
leaq 0x4e8(%rsp), %rax
movq %rcx, -0x8(%rax)
movl $0x9, %ecx
movq %rax, %rdi
rep  movsq (%rsi), %es:(%rdi)
leaq 0x6c8(%rsp), %rsi
movq %rbx, (%rsi)
movq %r14, 0x8(%rsi)
movq %rax, %rdi
callq 0x1f848
leaq 0x2b0(%rsp), %rdi
callq 0x1fe4e
leaq 0x400(%rsp), %rdi
callq 0x1d848
leaq 0x320(%rsp), %rdi
callq 0x1fe4e
leaq 0x1d0(%rsp), %rdi
callq 0x1d848
leaq 0x240(%rsp), %rdi
callq 0x1fe4e
leaq 0x70(%rsp), %rdi
callq 0x1d848
leaq 0x538(%rsp), %rdi
callq 0xd206
movq %rsp, %rdi
callq 0xd206
leaq 0x470(%rsp), %rdi
callq 0x1d848
leaq 0x390(%rsp), %rdi
callq 0x1d848
leaq 0x100(%rsp), %rdi
callq 0xd206
leaq 0x168(%rsp), %rdi
callq 0x1d848
addq $0x6d8, %rsp            # imm = 0x6D8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x158d7
jmp 0x158d7
jmp 0x158d7
jmp 0x158d7
jmp 0x158d7
jmp 0x158d7
jmp 0x158d7
jmp 0x158d7
jmp 0x158d7
jmp 0x158d7
jmp 0x158d7
jmp 0x158d7
movq %rax, %rbx
leaq 0x2b0(%rsp), %rdi
callq 0x1fe4e
jmp 0x15761
jmp 0x158d7
jmp 0x1575e
movq %rax, %rbx
leaq 0x400(%rsp), %rdi
callq 0x1d848
jmp 0x15775
jmp 0x15772
movq %rax, %rbx
leaq 0x320(%rsp), %rdi
callq 0x1fe4e
jmp 0x15789
jmp 0x15786
movq %rax, %rbx
leaq 0x1d0(%rsp), %rdi
callq 0x1d848
jmp 0x1579d
jmp 0x1579a
movq %rax, %rbx
leaq 0x240(%rsp), %rdi
callq 0x1fe4e
jmp 0x157b1
jmp 0x157ae
movq %rax, %rbx
leaq 0x70(%rsp), %rdi
callq 0x1d848
jmp 0x157c4
jmp 0x157c1
jmp 0x157c1
movq %rax, %rbx
leaq 0x538(%rsp), %rdi
callq 0xd206
jmp 0x15861
jmp 0x1582a
jmp 0x1582a
jmp 0x157e0
jmp 0x157e0
jmp 0x157e0
movq %rax, %rbx
jmp 0x15893
jmp 0x157ec
jmp 0x157ec
movq %rax, %rbx
jmp 0x158a0
jmp 0x1581d
jmp 0x1581d
jmp 0x1582f
jmp 0x158d7
jmp 0x158d7
jmp 0x158d7
jmp 0x158d7
jmp 0x158d7
movq %rax, %rbx
jmp 0x15847
movq %rax, %rbx
jmp 0x1587d
movq %rax, %rbx
jmp 0x158ad
jmp 0x158d7
movq %rax, %rbx
jmp 0x15861
movq %rax, %rbx
jmp 0x158ba
movq %rax, %rbx
leaq 0x538(%rsp), %rdi
callq 0xbfd8
movq 0x70(%rsp), %rdi
cmpq %r13, %rdi
je 0x15861
movq 0x80(%rsp), %rsi
incq %rsi
callq 0x21f0
movq %rsp, %rdi
callq 0xd206
jmp 0x15893
jmp 0x158d7
movq %rax, %rbx
leaq 0x538(%rsp), %rdi
callq 0xbfd8
movq (%rsp), %rdi
cmpq %r14, %rdi
je 0x15893
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x21f0
leaq 0x470(%rsp), %rdi
callq 0x1d848
leaq 0x390(%rsp), %rdi
callq 0x1d848
leaq 0x100(%rsp), %rdi
callq 0xd206
leaq 0x168(%rsp), %rdi
callq 0x1d848
movq %rbx, %rdi
callq 0x2300
jmp 0x158d7
jmp 0x158d7
jmp 0x158d7
jmp 0x158d7
movq %rax, %rdi
callq 0xc0a9