// File: dsharlet[P]array/test/ein_reduce.cpp
// Function: nda::test_make_ein_sum_transpose_body()
TEST(make_ein_sum_transpose) {
  constexpr index_t M = 12;
  constexpr index_t N = 20;
  matrix<int, M, N> A;
  fill_pattern(A);

  // Transpose A using an ein_sum.
  auto AT = make_ein_sum<int, i, j>(ein<j, i>(A));

  ASSERT_EQ(AT.rank(), 2);
  ASSERT_EQ(AT.rows(), A.columns());
  ASSERT_EQ(AT.columns(), A.rows());
  for (index_t i : AT.i()) {
    for (index_t j : AT.j()) {
      ASSERT_EQ(AT(i, j), A(j, i));
    }
  }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xc20, %rsp            # imm = 0xC20
movq $0xc, -0x1c0(%rbp)
movq $0x14, -0x1c8(%rbp)
leaq -0x210(%rbp), %rdi
movq %rdi, -0x9f0(%rbp)
callq 0xc6f60
movq -0x9f0(%rbp), %rdi
xorl %esi, %esi
callq 0xc6f90
jmp 0xad104
leaq -0x290(%rbp), %rdi
leaq -0x210(%rbp), %rsi
callq 0xc6ff0
jmp 0xad119
movl $0x0, -0x294(%rbp)
leaq -0x295(%rbp), %rdi
movq %rdi, -0x9f8(%rbp)
callq 0x10e30
movq -0x9f8(%rbp), %rax
leaq -0x260(%rbp), %rcx
movq %rcx, -0x48(%rbp)
leaq -0x290(%rbp), %rcx
movq %rcx, -0x50(%rbp)
leaq -0x294(%rbp), %rcx
movq %rcx, -0x58(%rbp)
movq %rax, -0x60(%rbp)
movq -0x50(%rbp), %rsi
leaq -0x80(%rbp), %rdi
callq 0xb7180
jmp 0xad171
movq -0x58(%rbp), %rdx
movq -0x60(%rbp), %rcx
leaq -0xc0(%rbp), %rdi
leaq -0x80(%rbp), %rsi
callq 0xceae0
jmp 0xad18b
movq -0x50(%rbp), %rax
movq %rax, -0xa00(%rbp)
leaq -0x140(%rbp), %rdi
leaq -0xc0(%rbp), %rsi
callq 0xceb20
jmp 0xad1ab
movq -0xa00(%rbp), %rdx
leaq -0x118(%rbp), %rdi
leaq -0x140(%rbp), %rsi
callq 0xceb60
jmp 0xad1c7
leaq -0x178(%rbp), %rax
movq %rax, -0x8(%rbp)
leaq -0x118(%rbp), %rax
movq %rax, -0x10(%rbp)
movq $0x2, -0x18(%rbp)
movq -0x10(%rbp), %rdx
movq %rdx, %r8
addq $0x28, %r8
leaq -0x38(%rbp), %rdi
leaq -0x39(%rbp), %rsi
leaq -0x3a(%rbp), %rcx
callq 0xb7ea0
jmp 0xad203
movq -0x10(%rbp), %rsi
leaq -0x38(%rbp), %rdi
callq 0xb85e0
jmp 0xad212
movq -0x10(%rbp), %rsi
leaq -0x178(%rbp), %rdi
movl $0x28, %edx
callq 0x31c0
leaq -0x260(%rbp), %rdi
leaq -0xc0(%rbp), %rsi
callq 0xceba0
jmp 0xad279
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x148(%rbp)
movl %eax, -0x14c(%rbp)
leaq -0xc0(%rbp), %rdi
callq 0xc7470
movq -0x148(%rbp), %rcx
movl -0x14c(%rbp), %eax
movq %rcx, -0xa10(%rbp)
movl %eax, -0xa04(%rbp)
jmp 0xadc59
leaq -0xc0(%rbp), %rdi
callq 0xc7470
leaq -0x295(%rbp), %rdi
callq 0x10e50
callq 0xc7310
movq %rax, -0xa18(%rbp)
jmp 0xad29f
movq -0xa18(%rbp), %rax
subq $0x2, %rax
sete %al
movb %al, -0xa21(%rbp)
leaq -0x449(%rbp), %rdi
movq %rdi, -0xa20(%rbp)
callq 0x33b0
movq -0xa20(%rbp), %rdx
leaq 0x13c703(%rip), %rsi    # 0x1e99d7
leaq -0x448(%rbp), %rdi
callq 0x10a90
jmp 0xad2e2
movb -0xa21(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x428(%rbp), %rdi
leaq -0x448(%rbp), %rdx
callq 0x10f80
jmp 0xad303
leaq 0x12f4db(%rip), %rsi    # 0x1dc7e5
leaq -0x428(%rbp), %rdi
callq 0x34320
movq %rax, -0xa30(%rbp)
jmp 0xad31f
movq -0xa30(%rbp), %rdi
leaq 0x13c6b9(%rip), %rsi    # 0x1e99e6
callq 0x344d0
movq %rax, -0xa38(%rbp)
jmp 0xad33b
movq -0xa38(%rbp), %rdi
leaq 0x133463(%rip), %rsi    # 0x1e07ac
callq 0x34320
movq %rax, -0xa40(%rbp)
jmp 0xad357
callq 0xc7310
movq %rax, -0xa48(%rbp)
jmp 0xad365
movq -0xa40(%rbp), %rdi
movq -0xa48(%rbp), %rax
movq %rax, -0x458(%rbp)
leaq -0x458(%rbp), %rsi
callq 0x355c0
movq %rax, -0xa50(%rbp)
jmp 0xad38f
movq -0xa50(%rbp), %rdi
leaq 0x12f448(%rip), %rsi    # 0x1dc7e5
callq 0x34320
movq %rax, -0xa58(%rbp)
jmp 0xad3ab
movq -0xa58(%rbp), %rdi
leaq 0x138338(%rip), %rsi    # 0x1e56f1
callq 0x34320
movq %rax, -0xa60(%rbp)
jmp 0xad3c7
movq -0xa60(%rbp), %rdi
leaq 0x1333d7(%rip), %rsi    # 0x1e07ac
callq 0x34320
movq %rax, -0xa68(%rbp)
jmp 0xad3e3
movq -0xa68(%rbp), %rdi
movl $0x2, -0x45c(%rbp)
leaq -0x45c(%rbp), %rsi
callq 0x343a0
movq %rax, -0xa70(%rbp)
jmp 0xad409
movq -0xa70(%rbp), %rdi
leaq 0x149064(%rip), %rsi    # 0x1f647b
callq 0x34320
jmp 0xad41e
leaq -0x428(%rbp), %rdi
callq 0x10ff0
jmp 0xad42c
leaq -0x448(%rbp), %rdi
callq 0x3100
leaq -0x449(%rbp), %rdi
callq 0x3290
leaq -0x260(%rbp), %rdi
callq 0xc7320
movq %rax, -0xa78(%rbp)
jmp 0xad459
leaq -0x210(%rbp), %rdi
callq 0xc7340
movq %rax, -0xa80(%rbp)
jmp 0xad46e
movq -0xa80(%rbp), %rcx
movq -0xa78(%rbp), %rax
subq %rcx, %rax
sete %al
movb %al, -0xa89(%rbp)
leaq -0x611(%rbp), %rdi
movq %rdi, -0xa88(%rbp)
callq 0x33b0
movq -0xa88(%rbp), %rdx
leaq 0x13c547(%rip), %rsi    # 0x1e99f0
leaq -0x610(%rbp), %rdi
callq 0x10a90
jmp 0xad4b7
movb -0xa89(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x5f0(%rbp), %rdi
leaq -0x610(%rbp), %rdx
callq 0x10f80
jmp 0xad4d8
leaq 0x12f306(%rip), %rsi    # 0x1dc7e5
leaq -0x5f0(%rbp), %rdi
callq 0x34320
movq %rax, -0xa98(%rbp)
jmp 0xad4f4
movq -0xa98(%rbp), %rdi
leaq 0x13c507(%rip), %rsi    # 0x1e9a09
callq 0x344d0
movq %rax, -0xaa0(%rbp)
jmp 0xad510
movq -0xaa0(%rbp), %rdi
leaq 0x13328e(%rip), %rsi    # 0x1e07ac
callq 0x34320
movq %rax, -0xaa8(%rbp)
jmp 0xad52c
leaq -0x260(%rbp), %rdi
callq 0xc7320
movq %rax, -0xab0(%rbp)
jmp 0xad541
movq -0xaa8(%rbp), %rdi
movq -0xab0(%rbp), %rax
movq %rax, -0x620(%rbp)
leaq -0x620(%rbp), %rsi
callq 0x34510
movq %rax, -0xab8(%rbp)
jmp 0xad56b
movq -0xab8(%rbp), %rdi
leaq 0x12f26c(%rip), %rsi    # 0x1dc7e5
callq 0x34320
movq %rax, -0xac0(%rbp)
jmp 0xad587
movq -0xac0(%rbp), %rdi
leaq 0x13c468(%rip), %rsi    # 0x1e99fd
callq 0xc7360
movq %rax, -0xac8(%rbp)
jmp 0xad5a3
movq -0xac8(%rbp), %rdi
leaq 0x1331fb(%rip), %rsi    # 0x1e07ac
callq 0x34320
movq %rax, -0xad0(%rbp)
jmp 0xad5bf
leaq -0x210(%rbp), %rdi
callq 0xc7340
movq %rax, -0xad8(%rbp)
jmp 0xad5d4
movq -0xad0(%rbp), %rdi
movq -0xad8(%rbp), %rax
movq %rax, -0x628(%rbp)
leaq -0x628(%rbp), %rsi
callq 0x34510
movq %rax, -0xae0(%rbp)
jmp 0xad5fe
movq -0xae0(%rbp), %rdi
leaq 0x148e6f(%rip), %rsi    # 0x1f647b
callq 0x34320
jmp 0xad613
leaq -0x5f0(%rbp), %rdi
callq 0x10ff0
jmp 0xad621
leaq -0x610(%rbp), %rdi
callq 0x3100
leaq -0x611(%rbp), %rdi
callq 0x3290
leaq -0x260(%rbp), %rdi
callq 0xc73a0
movq %rax, -0xae8(%rbp)
jmp 0xad64e
leaq -0x210(%rbp), %rdi
callq 0xc73c0
movq %rax, -0xaf0(%rbp)
jmp 0xad663
movq -0xaf0(%rbp), %rcx
movq -0xae8(%rbp), %rax
subq %rcx, %rax
sete %al
movb %al, -0xaf9(%rbp)
leaq -0x7d9(%rbp), %rdi
movq %rdi, -0xaf8(%rbp)
callq 0x33b0
movq -0xaf8(%rbp), %rdx
leaq 0x13c375(%rip), %rsi    # 0x1e9a13
leaq -0x7d8(%rbp), %rdi
callq 0x10a90
jmp 0xad6ac
movb -0xaf9(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x7b8(%rbp), %rdi
leaq -0x7d8(%rbp), %rdx
callq 0x10f80
jmp 0xad6cd
leaq 0x12f111(%rip), %rsi    # 0x1dc7e5
leaq -0x7b8(%rbp), %rdi
callq 0x34320
movq %rax, -0xb08(%rbp)
jmp 0xad6e9
movq -0xb08(%rbp), %rdi
leaq 0x13c335(%rip), %rsi    # 0x1e9a2c
callq 0x346f0
movq %rax, -0xb10(%rbp)
jmp 0xad705
movq -0xb10(%rbp), %rdi
leaq 0x133099(%rip), %rsi    # 0x1e07ac
callq 0x34320
movq %rax, -0xb18(%rbp)
jmp 0xad721
leaq -0x260(%rbp), %rdi
callq 0xc73a0
movq %rax, -0xb20(%rbp)
jmp 0xad736
movq -0xb18(%rbp), %rdi
movq -0xb20(%rbp), %rax
movq %rax, -0x7e8(%rbp)
leaq -0x7e8(%rbp), %rsi
callq 0x34510
movq %rax, -0xb28(%rbp)
jmp 0xad760
movq -0xb28(%rbp), %rdi
leaq 0x12f077(%rip), %rsi    # 0x1dc7e5
callq 0x34320
movq %rax, -0xb30(%rbp)
jmp 0xad77c
movq -0xb30(%rbp), %rdi
leaq 0x13c299(%rip), %rsi    # 0x1e9a23
callq 0x36600
movq %rax, -0xb38(%rbp)
jmp 0xad798
movq -0xb38(%rbp), %rdi
leaq 0x133006(%rip), %rsi    # 0x1e07ac
callq 0x34320
movq %rax, -0xb40(%rbp)
jmp 0xad7b4
leaq -0x210(%rbp), %rdi
callq 0xc73c0
movq %rax, -0xb48(%rbp)
jmp 0xad7c9
movq -0xb40(%rbp), %rdi
movq -0xb48(%rbp), %rax
movq %rax, -0x7f0(%rbp)
leaq -0x7f0(%rbp), %rsi
callq 0x34510
movq %rax, -0xb50(%rbp)
jmp 0xad7f3
movq -0xb50(%rbp), %rdi
leaq 0x148c7a(%rip), %rsi    # 0x1f647b
callq 0x34320
jmp 0xad808
leaq -0x7b8(%rbp), %rdi
callq 0x10ff0
jmp 0xad816
leaq -0x7d8(%rbp), %rdi
callq 0x3100
leaq -0x7d9(%rbp), %rdi
callq 0x3290
leaq -0x260(%rbp), %rdi
callq 0xc73e0
movq %rax, -0xb58(%rbp)
jmp 0xad843
movq -0xb58(%rbp), %rax
movq %rax, -0x7f8(%rbp)
movq -0x7f8(%rbp), %rdi
callq 0xc70d0
movq %rax, -0xb60(%rbp)
jmp 0xad866
movq -0xb60(%rbp), %rax
movq %rax, -0x800(%rbp)
movq -0x7f8(%rbp), %rdi
callq 0xc7100
movq %rax, -0xb68(%rbp)
jmp 0xad889
movq -0xb68(%rbp), %rax
movq %rax, -0x808(%rbp)
leaq -0x800(%rbp), %rax
movq %rax, -0x1a0(%rbp)
leaq -0x808(%rbp), %rax
movq %rax, -0x1a8(%rbp)
movq -0x1a0(%rbp), %rax
movq (%rax), %rax
movq -0x1a8(%rbp), %rcx
cmpq (%rcx), %rax
setne %al
movb %al, -0xb69(%rbp)
movb -0xb69(%rbp), %al
testb $0x1, %al
jne 0xad8df
jmp 0xade5a
leaq -0x800(%rbp), %rax
movq %rax, -0x190(%rbp)
movq -0x190(%rbp), %rax
movq (%rax), %rax
movq %rax, -0xb78(%rbp)
movq -0xb78(%rbp), %rax
movq %rax, -0x810(%rbp)
leaq -0x260(%rbp), %rdi
callq 0xc7400
movq %rax, -0xb80(%rbp)
jmp 0xad921
movq -0xb80(%rbp), %rax
movq %rax, -0x818(%rbp)
movq -0x818(%rbp), %rdi
callq 0xc7170
movq %rax, -0xb88(%rbp)
jmp 0xad944
movq -0xb88(%rbp), %rax
movq %rax, -0x820(%rbp)
movq -0x818(%rbp), %rdi
callq 0xc71a0
movq %rax, -0xb90(%rbp)
jmp 0xad967
movq -0xb90(%rbp), %rax
movq %rax, -0x828(%rbp)
leaq -0x820(%rbp), %rax
movq %rax, -0x1b0(%rbp)
leaq -0x828(%rbp), %rax
movq %rax, -0x1b8(%rbp)
movq -0x1b0(%rbp), %rax
movq (%rax), %rax
movq -0x1b8(%rbp), %rcx
cmpq (%rcx), %rax
setne %al
movb %al, -0xb91(%rbp)
movb -0xb91(%rbp), %al
testb $0x1, %al
jne 0xad9bd
jmp 0xade34
leaq -0x820(%rbp), %rax
movq %rax, -0x198(%rbp)
movq -0x198(%rbp), %rax
movq (%rax), %rax
movq %rax, -0xba0(%rbp)
movq -0xba0(%rbp), %rax
movq %rax, -0x830(%rbp)
movq -0x810(%rbp), %rsi
movq -0x830(%rbp), %rdx
leaq -0x260(%rbp), %rdi
callq 0xc7420
movq %rax, -0xba8(%rbp)
jmp 0xada0d
movq -0xba8(%rbp), %rax
movl (%rax), %eax
movl %eax, -0xbb4(%rbp)
movq -0x830(%rbp), %rsi
movq -0x810(%rbp), %rdx
leaq -0x210(%rbp), %rdi
callq 0xc7240
movq %rax, -0xbb0(%rbp)
jmp 0xada3f
movl -0xbb4(%rbp), %eax
movq -0xbb0(%rbp), %rcx
movl (%rcx), %ecx
subl %ecx, %eax
sete %al
movb %al, -0xbc1(%rbp)
leaq -0x9e1(%rbp), %rdi
movq %rdi, -0xbc0(%rbp)
callq 0x33b0
movq -0xbc0(%rbp), %rdx
leaq 0x13bf29(%rip), %rsi    # 0x1e99a3
leaq -0x9e0(%rbp), %rdi
callq 0x10a90
jmp 0xada88
movb -0xbc1(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x9c0(%rbp), %rdi
leaq -0x9e0(%rbp), %rdx
callq 0x10f80
jmp 0xadaa9
leaq 0x12ed35(%rip), %rsi    # 0x1dc7e5
leaq -0x9c0(%rbp), %rdi
callq 0x34320
movq %rax, -0xbd0(%rbp)
jmp 0xadac5
movq -0xbd0(%rbp), %rdi
leaq 0x13bee4(%rip), %rsi    # 0x1e99b7
callq 0x36600
movq %rax, -0xbd8(%rbp)
jmp 0xadae1
movq -0xbd8(%rbp), %rdi
leaq 0x132cbd(%rip), %rsi    # 0x1e07ac
callq 0x34320
movq %rax, -0xbe0(%rbp)
jmp 0xadafd
movq -0x810(%rbp), %rsi
movq -0x830(%rbp), %rdx
leaq -0x260(%rbp), %rdi
callq 0xc7420
movq %rax, -0xbe8(%rbp)
jmp 0xadb20
movq -0xbe8(%rbp), %rsi
movq -0xbe0(%rbp), %rdi
callq 0x343a0
movq %rax, -0xbf0(%rbp)
jmp 0xadb3c
movq -0xbf0(%rbp), %rdi
leaq 0x12ec9b(%rip), %rsi    # 0x1dc7e5
callq 0x34320
movq %rax, -0xbf8(%rbp)
jmp 0xadb58
movq -0xbf8(%rbp), %rdi
leaq 0x13be49(%rip), %rsi    # 0x1e99af
callq 0x34600
movq %rax, -0xc00(%rbp)
jmp 0xadb74
movq -0xc00(%rbp), %rdi
leaq 0x132c2a(%rip), %rsi    # 0x1e07ac
callq 0x34320
movq %rax, -0xc08(%rbp)
jmp 0xadb90
movq -0x830(%rbp), %rsi
movq -0x810(%rbp), %rdx
leaq -0x210(%rbp), %rdi
callq 0xc7240
movq %rax, -0xc10(%rbp)
jmp 0xadbb3
movq -0xc10(%rbp), %rsi
movq -0xc08(%rbp), %rdi
callq 0x343a0
movq %rax, -0xc18(%rbp)
jmp 0xadbcf
movq -0xc18(%rbp), %rdi
leaq 0x14889e(%rip), %rsi    # 0x1f647b
callq 0x34320
jmp 0xadbe4
leaq -0x9c0(%rbp), %rdi
callq 0x10ff0
jmp 0xadbf2
leaq -0x9e0(%rbp), %rdi
callq 0x3100
leaq -0x9e1(%rbp), %rdi
callq 0x3290
leaq -0x820(%rbp), %rax
movq %rax, -0x180(%rbp)
movq -0x180(%rbp), %rax
movq (%rax), %rcx
addq $0x1, %rcx
movq %rcx, (%rax)
jmp 0xad975
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x218(%rbp)
movl %eax, -0x21c(%rbp)
jmp 0xade87
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xa10(%rbp)
movl %eax, -0xa04(%rbp)
jmp 0xadc59
movq -0xa10(%rbp), %rcx
movl -0xa04(%rbp), %eax
movq %rcx, -0x218(%rbp)
movl %eax, -0x21c(%rbp)
leaq -0x295(%rbp), %rdi
callq 0x10e50
jmp 0xade87
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x218(%rbp)
movl %eax, -0x21c(%rbp)
jmp 0xade7b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x218(%rbp)
movl %eax, -0x21c(%rbp)
jmp 0xadcf1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x218(%rbp)
movl %eax, -0x21c(%rbp)
jmp 0xadce5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x218(%rbp)
movl %eax, -0x21c(%rbp)
leaq -0x428(%rbp), %rdi
callq 0x10ff0
jmp 0xadce3
jmp 0xadce5
leaq -0x448(%rbp), %rdi
callq 0x3100
leaq -0x449(%rbp), %rdi
callq 0x3290
jmp 0xade7b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x218(%rbp)
movl %eax, -0x21c(%rbp)
jmp 0xadd58
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x218(%rbp)
movl %eax, -0x21c(%rbp)
jmp 0xadd4c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x218(%rbp)
movl %eax, -0x21c(%rbp)
leaq -0x5f0(%rbp), %rdi
callq 0x10ff0
jmp 0xadd4a
jmp 0xadd4c
leaq -0x610(%rbp), %rdi
callq 0x3100
leaq -0x611(%rbp), %rdi
callq 0x3290
jmp 0xade7b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x218(%rbp)
movl %eax, -0x21c(%rbp)
jmp 0xaddbf
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x218(%rbp)
movl %eax, -0x21c(%rbp)
jmp 0xaddb3
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x218(%rbp)
movl %eax, -0x21c(%rbp)
leaq -0x7b8(%rbp), %rdi
callq 0x10ff0
jmp 0xaddb1
jmp 0xaddb3
leaq -0x7d8(%rbp), %rdi
callq 0x3100
leaq -0x7d9(%rbp), %rdi
callq 0x3290
jmp 0xade7b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x218(%rbp)
movl %eax, -0x21c(%rbp)
jmp 0xade26
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x218(%rbp)
movl %eax, -0x21c(%rbp)
jmp 0xade1a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x218(%rbp)
movl %eax, -0x21c(%rbp)
leaq -0x9c0(%rbp), %rdi
callq 0x10ff0
jmp 0xade18
jmp 0xade1a
leaq -0x9e0(%rbp), %rdi
callq 0x3100
leaq -0x9e1(%rbp), %rdi
callq 0x3290
jmp 0xade7b
jmp 0xade36
leaq -0x800(%rbp), %rax
movq %rax, -0x188(%rbp)
movq -0x188(%rbp), %rax
movq (%rax), %rcx
addq $0x1, %rcx
movq %rcx, (%rax)
jmp 0xad897
leaq -0x260(%rbp), %rdi
callq 0xc7470
leaq -0x210(%rbp), %rdi
callq 0xc72d0
addq $0xc20, %rsp            # imm = 0xC20
popq %rbp
retq
leaq -0x260(%rbp), %rdi
callq 0xc7470
leaq -0x210(%rbp), %rdi
callq 0xc72d0
movq -0x218(%rbp), %rdi
callq 0x33a0
movq %rax, %rdi
callq 0x116d0
nopw (%rax,%rax)