// File: /workspace/github_cpp_makefile_star2_O3/dsharlet[P]array/test/shape.cpp
// Function: nda::test_bounds_body()
TEST(bounds) {
  dim</* Min= */ 0, /* Extent= */ 10> x;
  dense_dim<> y(-2, 12);
  auto s = make_shape(x, y);
  s.resolve();

  auto bounds = s.bounds();
  // Returns a generic shape w/o compile-time min, extents, or strides.
  ASSERT_EQ(bounds.dim<0>().Min, dynamic);
  ASSERT_EQ(bounds.dim<0>().Extent, dynamic);
  ASSERT_EQ(bounds.dim<0>().Stride, dynamic);
  ASSERT_EQ(bounds.dim<1>().Min, dynamic);
  ASSERT_EQ(bounds.dim<1>().Extent, dynamic);
  ASSERT_EQ(bounds.dim<1>().Stride, dynamic);
  // Check that dynamic min and extents are preserved.
  ASSERT_EQ(bounds.dim<0>().min(), x.min());
  ASSERT_EQ(bounds.dim<0>().extent(), x.extent());
  ASSERT_EQ(bounds.dim<1>().min(), y.min());
  ASSERT_EQ(bounds.dim<1>().extent(), y.extent());
  // Bounds have strides set to unresolved.
  ASSERT_EQ(bounds.dim<0>().stride(), nda::unresolved);
  ASSERT_EQ(bounds.dim<1>().stride(), nda::unresolved);
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x1d8, %rsp            # imm = 0x1D8
leaq 0x48(%rsp), %rbx
movq $-0x2, (%rbx)
movq $0xc, 0x8(%rbx)
movabsq $-0x8000000000000000, %rax # imm = 0x8000000000000000
movq %rax, 0x20(%rbx)
movq %rbx, %rdi
callq 0x8cdd0
movq 0x20(%rbx), %rax
movq %rax, 0x40(%rsp)
movups (%rbx), %xmm0
movups 0x10(%rbx), %xmm1
movaps %xmm1, 0x30(%rsp)
movaps %xmm0, 0x20(%rsp)
negq %rax
jno 0x853e6
leaq 0x20(%rsp), %rbx
movl $0xa, %edi
movq %rbx, %rsi
callq 0x980a7
movq %rax, 0x20(%rbx)
movq 0x20(%rsp), %r14
movq 0x28(%rsp), %rbx
leaq 0x10(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0x3976f(%rip), %rsi     # 0xbeb70
leaq 0x39786(%rip), %rdx     # 0xbeb8e
movq %rsp, %rdi
callq 0xd14c
leaq 0x48(%rsp), %rdi
movq %rsp, %rdx
movl $0x1, %esi
callq 0xbf80
leaq 0x1e25b(%rip), %rsi     # 0xa3684
leaq 0x48(%rsp), %rdi
callq 0x18fba
leaq 0x39755(%rip), %rsi     # 0xbeb8f
movq %rax, %rdi
callq 0x1990c
leaq 0x21e0d(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %r15
cmpb $0x1, 0x188(%rax)
jne 0x85470
movq %r15, %rdi
addq $0x10, %rdi
movq $-0x9, %rsi
callq 0x21b0
leaq 0x1e20d(%rip), %rsi     # 0xa3684
movq %r15, %rdi
callq 0x18fba
leaq 0x39770(%rip), %rsi     # 0xbebf6
movq %rax, %rdi
callq 0x1909a
leaq 0x21dc1(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %r15
cmpb $0x1, 0x188(%rax)
jne 0x854bc
movq %r15, %rdi
addq $0x10, %rdi
movq $-0x9, %rsi
callq 0x21b0
leaq 0x34dd6(%rip), %rsi     # 0xba299
movq %r15, %rdi
callq 0x18fba
leaq 0x48(%rsp), %rdi
callq 0xbfd8
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x854eb
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x21f0
movq %rsp, %rdi
movq %r12, (%rdi)
leaq 0x396ab(%rip), %rsi     # 0xbeba3
leaq 0x396c5(%rip), %rdx     # 0xbebc4
callq 0xd14c
leaq 0x48(%rsp), %rdi
movq %rsp, %rdx
movl $0x1, %esi
callq 0xbf80
leaq 0x1e167(%rip), %rsi     # 0xa3684
leaq 0x48(%rsp), %rdi
callq 0x18fba
leaq 0x39697(%rip), %rsi     # 0xbebc5
movq %rax, %rdi
callq 0x19aca
leaq 0x21d19(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %r15
cmpb $0x1, 0x188(%rax)
jne 0x85564
movq %r15, %rdi
addq $0x10, %rdi
movq $-0x9, %rsi
callq 0x21b0
leaq 0x1e119(%rip), %rsi     # 0xa3684
movq %r15, %rdi
callq 0x18fba
leaq 0x3967c(%rip), %rsi     # 0xbebf6
movq %rax, %rdi
callq 0x1909a
leaq 0x21ccd(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %r15
cmpb $0x1, 0x188(%rax)
jne 0x855b0
movq %r15, %rdi
addq $0x10, %rdi
movq $-0x9, %rsi
callq 0x21b0
leaq 0x34ce2(%rip), %rsi     # 0xba299
movq %r15, %rdi
callq 0x18fba
leaq 0x48(%rsp), %rdi
callq 0xbfd8
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x855df
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x21f0
movq %rsp, %rdi
movq %r12, (%rdi)
leaq 0x395f0(%rip), %rsi     # 0xbebdc
leaq 0x3960a(%rip), %rdx     # 0xbebfd
callq 0xd14c
leaq 0x48(%rsp), %rdi
movq %rsp, %rdx
movl $0x1, %esi
callq 0xbf80
leaq 0x1e073(%rip), %rsi     # 0xa3684
leaq 0x48(%rsp), %rdi
callq 0x18fba
leaq 0x395dc(%rip), %rsi     # 0xbebfe
movq %rax, %rdi
callq 0x19aca
leaq 0x21c25(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %r15
cmpb $0x1, 0x188(%rax)
jne 0x85658
movq %r15, %rdi
addq $0x10, %rdi
movq $-0x9, %rsi
callq 0x21b0
leaq 0x1e025(%rip), %rsi     # 0xa3684
movq %r15, %rdi
callq 0x18fba
leaq 0x39588(%rip), %rsi     # 0xbebf6
movq %rax, %rdi
callq 0x1909a
leaq 0x21bd9(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %r15
cmpb $0x1, 0x188(%rax)
jne 0x856a4
movq %r15, %rdi
addq $0x10, %rdi
movq $-0x9, %rsi
callq 0x21b0
leaq 0x34bee(%rip), %rsi     # 0xba299
movq %r15, %rdi
callq 0x18fba
leaq 0x48(%rsp), %rdi
callq 0xbfd8
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x856d3
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x21f0
movq %rsp, %rdi
movq %r12, (%rdi)
leaq 0x39535(%rip), %rsi     # 0xbec15
leaq 0x3954c(%rip), %rdx     # 0xbec33
callq 0xd14c
leaq 0x48(%rsp), %rdi
movq %rsp, %rdx
movl $0x1, %esi
callq 0xbf80
leaq 0x1df7f(%rip), %rsi     # 0xa3684
leaq 0x48(%rsp), %rdi
callq 0x18fba
leaq 0x3951e(%rip), %rsi     # 0xbec34
movq %rax, %rdi
callq 0x1990c
leaq 0x21b31(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %r15
cmpb $0x1, 0x188(%rax)
jne 0x8574c
movq %r15, %rdi
addq $0x10, %rdi
movq $-0x9, %rsi
callq 0x21b0
leaq 0x1df31(%rip), %rsi     # 0xa3684
movq %r15, %rdi
callq 0x18fba
leaq 0x39494(%rip), %rsi     # 0xbebf6
movq %rax, %rdi
callq 0x1909a
leaq 0x21ae5(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %r15
cmpb $0x1, 0x188(%rax)
jne 0x85798
movq %r15, %rdi
addq $0x10, %rdi
movq $-0x9, %rsi
callq 0x21b0
leaq 0x34afa(%rip), %rsi     # 0xba299
movq %r15, %rdi
callq 0x18fba
leaq 0x48(%rsp), %rdi
callq 0xbfd8
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x857c7
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x21f0
movq %rsp, %rdi
movq %r12, (%rdi)
leaq 0x39474(%rip), %rsi     # 0xbec48
leaq 0x3948e(%rip), %rdx     # 0xbec69
callq 0xd14c
leaq 0x48(%rsp), %rdi
movq %rsp, %rdx
movl $0x1, %esi
callq 0xbf80
leaq 0x1de8b(%rip), %rsi     # 0xa3684
leaq 0x48(%rsp), %rdi
callq 0x18fba
leaq 0x39460(%rip), %rsi     # 0xbec6a
movq %rax, %rdi
callq 0x19aca
leaq 0x21a3d(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %r15
cmpb $0x1, 0x188(%rax)
jne 0x85840
movq %r15, %rdi
addq $0x10, %rdi
movq $-0x9, %rsi
callq 0x21b0
leaq 0x1de3d(%rip), %rsi     # 0xa3684
movq %r15, %rdi
callq 0x18fba
leaq 0x393a0(%rip), %rsi     # 0xbebf6
movq %rax, %rdi
callq 0x1909a
leaq 0x219f1(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %r15
cmpb $0x1, 0x188(%rax)
jne 0x8588c
movq %r15, %rdi
addq $0x10, %rdi
movq $-0x9, %rsi
callq 0x21b0
leaq 0x34a06(%rip), %rsi     # 0xba299
movq %r15, %rdi
callq 0x18fba
leaq 0x48(%rsp), %rdi
callq 0xbfd8
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x858bb
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x21f0
movq %rsp, %rdi
movq %r12, (%rdi)
leaq 0x393b9(%rip), %rsi     # 0xbec81
leaq 0x393d3(%rip), %rdx     # 0xbeca2
callq 0xd14c
leaq 0x48(%rsp), %rdi
movq %rsp, %rdx
movl $0x1, %esi
callq 0xbf80
leaq 0x1dd97(%rip), %rsi     # 0xa3684
leaq 0x48(%rsp), %rdi
callq 0x18fba
leaq 0x393a5(%rip), %rsi     # 0xbeca3
movq %rax, %rdi
callq 0x19aca
leaq 0x21949(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %r15
cmpb $0x1, 0x188(%rax)
jne 0x85934
movq %r15, %rdi
addq $0x10, %rdi
movq $-0x9, %rsi
callq 0x21b0
leaq 0x1dd49(%rip), %rsi     # 0xa3684
movq %r15, %rdi
callq 0x18fba
leaq 0x392ac(%rip), %rsi     # 0xbebf6
movq %rax, %rdi
callq 0x1909a
leaq 0x218fd(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %r15
cmpb $0x1, 0x188(%rax)
jne 0x85980
movq %r15, %rdi
addq $0x10, %rdi
movq $-0x9, %rsi
callq 0x21b0
leaq 0x34912(%rip), %rsi     # 0xba299
movq %r15, %rdi
callq 0x18fba
leaq 0x48(%rsp), %rdi
callq 0xbfd8
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x859af
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x21f0
movq %rsp, %rdi
movq %r12, (%rdi)
leaq 0x392fe(%rip), %rsi     # 0xbecba
leaq 0x39317(%rip), %rdx     # 0xbecda
callq 0xd14c
leaq 0x48(%rsp), %rdi
movq %rsp, %rdx
movl $0x1, %esi
callq 0xbf80
leaq 0x1dca3(%rip), %rsi     # 0xa3684
leaq 0x48(%rsp), %rdi
callq 0x18fba
leaq 0x392e9(%rip), %rsi     # 0xbecdb
movq %rax, %rdi
callq 0x19222
leaq 0x21855(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %r15
cmpb $0x1, 0x188(%rax)
jne 0x85a23
movq %r15, %rdi
addq $0x10, %rdi
xorl %esi, %esi
callq 0x21b0
leaq 0x1dc5a(%rip), %rsi     # 0xa3684
movq %r15, %rdi
callq 0x18fba
leaq 0x3929a(%rip), %rsi     # 0xbecd3
movq %rax, %rdi
callq 0x1909a
leaq 0x2180e(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %r15
cmpb $0x1, 0x188(%rax)
jne 0x85a6a
movq %r15, %rdi
addq $0x10, %rdi
xorl %esi, %esi
callq 0x21b0
leaq 0x34828(%rip), %rsi     # 0xba299
movq %r15, %rdi
callq 0x18fba
leaq 0x48(%rsp), %rdi
callq 0xbfd8
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x85a99
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x21f0
movq %rsp, %rdi
movq %r12, (%rdi)
leaq 0x3924b(%rip), %rsi     # 0xbecf1
leaq 0x3926a(%rip), %rdx     # 0xbed17
callq 0xd14c
leaq 0x48(%rsp), %rdi
movq %rsp, %rdx
movl $0x1, %esi
callq 0xbf80
leaq 0x1dbb9(%rip), %rsi     # 0xa3684
leaq 0x48(%rsp), %rdi
callq 0x18fba
leaq 0x3923c(%rip), %rsi     # 0xbed18
movq %rax, %rdi
callq 0x42c5e
leaq 0x2176b(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %r15
cmpb $0x1, 0x188(%rax)
jne 0x85b10
movq %r15, %rdi
addq $0x10, %rdi
movl $0xa, %esi
callq 0x21b0
leaq 0x1db6d(%rip), %rsi     # 0xa3684
movq %r15, %rdi
callq 0x18fba
leaq 0x38f97(%rip), %rsi     # 0xbeabd
movq %rax, %rdi
callq 0x19062
leaq 0x21721(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %r15
cmpb $0x1, 0x188(%rax)
jne 0x85b5a
movq %r15, %rdi
addq $0x10, %rdi
movl $0xa, %esi
callq 0x21b0
leaq 0x34738(%rip), %rsi     # 0xba299
movq %r15, %rdi
callq 0x18fba
leaq 0x48(%rsp), %rdi
callq 0xbfd8
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x85b89
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x21f0
movq %rsp, %rdi
movq %r12, (%rdi)
leaq 0x3919b(%rip), %rsi     # 0xbed31
leaq 0x391b4(%rip), %rdx     # 0xbed51
callq 0xd14c
xorl %esi, %esi
cmpq $-0x2, %r14
sete %sil
leaq 0x48(%rsp), %rdi
movq %rsp, %rdx
callq 0xbf80
leaq 0x1dac4(%rip), %rsi     # 0xa3684
leaq 0x48(%rsp), %rdi
callq 0x18fba
leaq 0x39181(%rip), %rsi     # 0xbed52
movq %rax, %rdi
callq 0x19222
leaq 0x21676(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %r15
cmpb $0x1, 0x188(%rax)
jne 0x85c03
movq %r15, %rdi
addq $0x10, %rdi
movq %r14, %rsi
callq 0x21b0
leaq 0x1da7a(%rip), %rsi     # 0xa3684
movq %r15, %rdi
callq 0x18fba
leaq 0x39131(%rip), %rsi     # 0xbed4a
movq %rax, %rdi
callq 0x1909a
leaq 0x2162e(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %r14
cmpb $0x1, 0x188(%rax)
jne 0x85c4f
movq %r14, %rdi
addq $0x10, %rdi
movq $-0x2, %rsi
callq 0x21b0
leaq 0x34643(%rip), %rsi     # 0xba299
movq %r14, %rdi
callq 0x18fba
leaq 0x48(%rsp), %rdi
callq 0xbfd8
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x85c7e
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x21f0
movq %rsp, %rdi
movq %r12, (%rdi)
leaq 0x390dd(%rip), %rsi     # 0xbed68
leaq 0x390fc(%rip), %rdx     # 0xbed8e
callq 0xd14c
xorl %esi, %esi
cmpq $0xc, %rbx
sete %sil
leaq 0x48(%rsp), %rdi
movq %rsp, %rdx
callq 0xbf80
leaq 0x1d9cf(%rip), %rsi     # 0xa3684
leaq 0x48(%rsp), %rdi
callq 0x18fba
leaq 0x390c9(%rip), %rsi     # 0xbed8f
movq %rax, %rdi
callq 0x42c5e
leaq 0x21581(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %r14
cmpb $0x1, 0x188(%rax)
jne 0x85cf8
movq %r14, %rdi
addq $0x10, %rdi
movq %rbx, %rsi
callq 0x21b0
leaq 0x1d985(%rip), %rsi     # 0xa3684
movq %r14, %rdi
callq 0x18fba
leaq 0x38e0e(%rip), %rsi     # 0xbeb1c
movq %rax, %rdi
callq 0x19062
leaq 0x21539(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x85d42
movq %rbx, %rdi
addq $0x10, %rdi
movl $0xc, %esi
callq 0x21b0
leaq 0x34550(%rip), %rsi     # 0xba299
movq %rbx, %rdi
callq 0x18fba
leaq 0x48(%rsp), %rdi
callq 0xbfd8
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x85d71
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x21f0
movq %rsp, %rdi
movq %r12, (%rdi)
leaq 0x3902a(%rip), %rsi     # 0xbeda8
leaq 0x3904e(%rip), %rdx     # 0xbedd3
callq 0xd14c
leaq 0x48(%rsp), %rdi
movq %rsp, %rdx
movl $0x1, %esi
callq 0xbf80
leaq 0x1d8e1(%rip), %rsi     # 0xa3684
leaq 0x48(%rsp), %rdi
callq 0x18fba
leaq 0x39020(%rip), %rsi     # 0xbedd4
movq %rax, %rdi
callq 0x42c5e
leaq 0x21493(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x85ded
movq %rbx, %rdi
addq $0x10, %rdi
movabsq $-0x8000000000000000, %rsi # imm = 0x8000000000000000
callq 0x21b0
leaq 0x1d890(%rip), %rsi     # 0xa3684
movq %rbx, %rdi
callq 0x18fba
leaq 0x38fc1(%rip), %rsi     # 0xbedc4
movq %rax, %rdi
callq 0x4acaa
leaq 0x21444(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x85e3c
movq %rbx, %rdi
addq $0x10, %rdi
movabsq $-0x8000000000000000, %rsi # imm = 0x8000000000000000
callq 0x21b0
leaq 0x34456(%rip), %rsi     # 0xba299
movq %rbx, %rdi
callq 0x18fba
leaq 0x48(%rsp), %rdi
callq 0xbfd8
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x85e6b
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x21f0
movq %rsp, %rdi
movq %r12, (%rdi)
leaq 0x38f75(%rip), %rsi     # 0xbeded
leaq 0x38f99(%rip), %rdx     # 0xbee18
callq 0xd14c
leaq 0x48(%rsp), %rdi
movq %rsp, %rdx
movl $0x1, %esi
callq 0xbf80
leaq 0x1d7e7(%rip), %rsi     # 0xa3684
leaq 0x48(%rsp), %rdi
callq 0x18fba
leaq 0x38f6b(%rip), %rsi     # 0xbee19
movq %rax, %rdi
callq 0x42c5e
leaq 0x21399(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x85ee7
movq %rbx, %rdi
addq $0x10, %rdi
movabsq $-0x8000000000000000, %rsi # imm = 0x8000000000000000
callq 0x21b0
leaq 0x1d796(%rip), %rsi     # 0xa3684
movq %rbx, %rdi
callq 0x18fba
leaq 0x38ec7(%rip), %rsi     # 0xbedc4
movq %rax, %rdi
callq 0x4acaa
leaq 0x2134a(%rip), %rsi     # 0xa7256
movq %rax, %rdi
callq 0x18fba
movq %rax, %rbx
cmpb $0x1, 0x188(%rax)
jne 0x85f36
movq %rbx, %rdi
addq $0x10, %rdi
movabsq $-0x8000000000000000, %rsi # imm = 0x8000000000000000
callq 0x21b0
leaq 0x3435c(%rip), %rsi     # 0xba299
movq %rbx, %rdi
callq 0x18fba
leaq 0x48(%rsp), %rdi
callq 0xbfd8
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x85f65
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x21f0
addq $0x1d8, %rsp            # imm = 0x1D8
popq %rbx
popq %r12
popq %r14
popq %r15
retq
jmp 0x85f8a
jmp 0x85f8a
jmp 0x85f8a
jmp 0x85f8a
jmp 0x85f8a
jmp 0x85f8a
jmp 0x85f8a
jmp 0x85f8a
jmp 0x85f8a
jmp 0x85f8a
jmp 0x85f8a
movq %rax, %rbx
jmp 0x85fc6
jmp 0x85fda
jmp 0x85fe9
jmp 0x85ff8
jmp 0x86007
jmp 0x85fad
jmp 0x85fad
jmp 0x85fad
jmp 0x85fad
jmp 0x85fad
jmp 0x85fad
jmp 0x85fad
jmp 0x85fad
jmp 0x85fad
jmp 0x85fad
jmp 0x85fad
movq %rax, %rbx
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x85fc6
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x21f0
movq %rbx, %rdi
callq 0x2300
jmp 0x86016
jmp 0x86025
jmp 0x85fda
jmp 0x85fe9
jmp 0x85ff8
jmp 0x86007
movq %rax, %rbx
leaq 0x48(%rsp), %rdi
callq 0xbfd8
jmp 0x85fb0
movq %rax, %rbx
leaq 0x48(%rsp), %rdi
callq 0xbfd8
jmp 0x85fb0
movq %rax, %rbx
leaq 0x48(%rsp), %rdi
callq 0xbfd8
jmp 0x85fb0
movq %rax, %rbx
leaq 0x48(%rsp), %rdi
callq 0xbfd8
jmp 0x85fb0
movq %rax, %rbx
leaq 0x48(%rsp), %rdi
callq 0xbfd8
jmp 0x85fb0
movq %rax, %rbx
leaq 0x48(%rsp), %rdi
callq 0xbfd8
jmp 0x85fb0
movq %rax, %rbx
leaq 0x48(%rsp), %rdi
callq 0xbfd8
jmp 0x85fb0
movq %rax, %rbx
leaq 0x48(%rsp), %rdi
callq 0xbfd8
jmp 0x85fb0
movq %rax, %rbx
leaq 0x48(%rsp), %rdi
callq 0xbfd8
jmp 0x85fb0
movq %rax, %rbx
leaq 0x48(%rsp), %rdi
callq 0xbfd8
jmp 0x85fb0
movq %rax, %rbx
leaq 0x48(%rsp), %rdi
callq 0xbfd8
jmp 0x85fb0
movq %rax, %rbx
leaq 0x48(%rsp), %rdi
callq 0xbfd8
jmp 0x85fb0
movq %rax, %rdi
callq 0xc0a9