// File: /workspace/github_cpp_makefile_star2_O1/ArashPartow[P]exprtk-extras/exprtk_nqueens_problem.cpp
// Function: void sudoku_solver<double>()
void sudoku_solver()
{
   typedef exprtk::symbol_table<T>         symbol_table_t;
   typedef exprtk::expression<T>           expression_t;
   typedef exprtk::parser<T>               parser_t;
   typedef exprtk::function_compositor<T>  compositor_t;
   typedef typename compositor_t::function function_t;

   const T n = T(15);
   std::vector<T> board(static_cast<std::size_t>(n), T(- 1));

   exprtk::rtl::io::package<T> io_package;

   symbol_table_t symbol_table;
   symbol_table.add_constant("n"     , n    );
   symbol_table.add_vector  ("board" , board);
   symbol_table.add_package (io_package);

   compositor_t compositor(symbol_table);

   compositor.load_variables(true);
   compositor.load_vectors  (true);

   compositor.add(
      function_t("display_board")
      .expression
      (
         " for (var row := 0; row < n; row += 1)             "
         " {                                                 "
         "    for (var col := 0; col < n; col += 1)          "
         "    {                                              "
         "       print((board[row] == col) ? ' Q ' : ' . '); "
         "    };                                             "
         "                                                   "
         "    println('');                                   "
         " }                                                 "
      ));

   compositor.add(
      function_t("is_valid")
      .vars("row", "col")
      .expression
      (
         " for (var i := 0; i < row; i += 1)             "
         " {                                             "
         "    if (                                       "
         "         (board[i] == col) or                  "
         "         (abs(board[i] - col) == abs(i - row)) "
         "       )                                       "
         "    {                                          "
         "       return [false];                         "
         "    }                                          "
         " };                                            "
         "                                               "
         " return [true];                                "
      ));

   compositor.add(
      function_t("solve_nqueens")
      .var("row")
      .expression
      (
         " if (row == n)                         "
         " {                                     "
         "     return [true];                    "
         " };                                    "
         "                                       "
         " for (var col := 0; col < n; col += 1) "
         " {                                     "
         "    if (is_valid(row, col))            "
         "    {                                  "
         "       board[row] := col;              "
         "                                       "
         "       if (solve_nqueens(row + 1))     "
         "       {                               "
         "           return [true];              "
         "       }                               "
         "    }                                  "
         " };                                    "
         "                                       "
         " return [false];                       "
      ));

   const std::string sudoku_solver_program =
      " if (solve_nqueens(0))                                  "
      " {                                                      "
      "    println('N-Queens Puzzle Solved!');                 "
      " }                                                      "
      " else                                                   "
      " {                                                      "
      "    println('Error: Failed to solve n-queens puzzle.'); "
      " };                                                     "
      "                                                        "
      " display_board();                                       ";

   expression_t expression;
   expression.register_symbol_table(symbol_table);

   parser_t parser;
   parser.compile(sudoku_solver_program,expression);

   expression.value();
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x15c8, %rsp           # imm = 0x15C8
movabsq $0x402e000000000000, %rax # imm = 0x402E000000000000
movq %rax, 0x70(%rsp)
xorps %xmm0, %xmm0
movaps %xmm0, 0x50(%rsp)
movq $0x0, 0x60(%rsp)
movl $0x78, %edi
callq 0x1190c0
movq %rax, 0x50(%rsp)
movq %rax, 0x58(%rsp)
movq %rax, %rcx
addq $0x78, %rcx
movq %rcx, 0x60(%rsp)
xorl %edx, %edx
movdqa 0x1b4ac7(%rip), %xmm0   # 0x2d1010
movdqa 0x1b4acf(%rip), %xmm1   # 0x2d1020
movdqa 0x1b4ad7(%rip), %xmm2   # 0x2d1030
pshufd $0xf5, %xmm2, %xmm3     # xmm3 = xmm2[1,1,3,3]
movabsq $-0x4010000000000000, %rsi # imm = 0xBFF0000000000000
movq %rdx, %xmm4
pshufd $0x44, %xmm4, %xmm4     # xmm4 = xmm4[0,1,0,1]
por %xmm0, %xmm4
pxor %xmm1, %xmm4
movdqa %xmm2, %xmm5
pcmpgtd %xmm4, %xmm5
pshufd $0xf5, %xmm4, %xmm4     # xmm4 = xmm4[1,1,3,3]
pcmpeqd %xmm3, %xmm4
pand %xmm5, %xmm4
movd %xmm4, %edi
testb $0x1, %dil
je 0x11c59d
movq %rsi, (%rax,%rdx,8)
pextrw $0x4, %xmm4, %edi
testb $0x1, %dil
je 0x11c5ad
movq %rsi, 0x8(%rax,%rdx,8)
addq $0x2, %rdx
cmpq $0x10, %rdx
jne 0x11c568
movq %rcx, 0x58(%rsp)
leaq 0x1e8(%rsp), %rdi
callq 0x11d278
leaq 0x8(%rsp), %rdi
movl $0x1, %esi
callq 0x11d358
leaq 0xbf0(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x1b91cd(%rip), %rsi    # 0x2d57b8
leaq 0x1b91c7(%rip), %rdx    # 0x2d57b9
leaq 0xbe0(%rsp), %rdi
callq 0x11d0d0
leaq 0x8(%rsp), %rdi
leaq 0xbe0(%rsp), %rsi
leaq 0x70(%rsp), %rdx
callq 0x11d3a0
movq 0xbe0(%rsp), %rdi
cmpq %r14, %rdi
je 0x11c633
movq 0xbf0(%rsp), %rsi
incq %rsi
callq 0x119090
leaq 0xbe0(%rsp), %rdi
movq %r14, (%rdi)
leaq 0x1b92b0(%rip), %rsi    # 0x2d58f5
leaq 0x1b92ae(%rip), %rdx    # 0x2d58fa
callq 0x11d0d0
leaq 0x8(%rsp), %rdi
leaq 0xbe0(%rsp), %rsi
leaq 0x50(%rsp), %rdx
callq 0x11d4ea
movq 0xbe0(%rsp), %rdi
cmpq %r14, %rdi
je 0x11c685
movq 0xbf0(%rsp), %rsi
incq %rsi
callq 0x119090
leaq 0x1e8(%rsp), %rdi
leaq 0x8(%rsp), %rsi
callq 0x122a64
leaq 0xbe0(%rsp), %rdi
leaq 0x8(%rsp), %rbx
movq %rbx, %rsi
callq 0x11d602
movw $0x101, 0x15c0(%rsp)    # imm = 0x101
leaq 0xa8(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x1b9224(%rip), %rsi    # 0x2d58ed
leaq 0x1b922a(%rip), %rdx    # 0x2d58fa
leaq 0x98(%rsp), %rdi
callq 0x11d0d0
leaq 0x2b8(%rsp), %rdi
leaq 0x98(%rsp), %rsi
callq 0x11d78a
leaq 0x20(%rsp), %r13
movq %r13, -0x10(%r13)
leaq 0x1b91f9(%rip), %rsi    # 0x2d58fb
leaq 0x1b93bd(%rip), %rdx    # 0x2d5ac6
leaq 0x10(%rsp), %rdi
callq 0x11d0d0
leaq 0x2d8(%rsp), %r12
leaq 0x10(%rsp), %rsi
movq %r12, %rdi
callq 0x119520
leaq 0x1510(%rsp), %rdi
leaq 0x2b8(%rsp), %rsi
callq 0x12518c
leaq 0x2f8(%rsp), %r15
leaq 0x1518(%rsp), %rcx
cmpq %rax, %rcx
jne 0x11c804
leaq 0xbe0(%rsp), %rdi
leaq 0x2b8(%rsp), %rsi
movq %r12, %rdx
movq %r15, %rcx
xorl %r8d, %r8d
callq 0x123eea
testb %al, %al
je 0x11c804
leaq 0x2b8(%rsp), %rsi
movq 0x88(%rsi), %rax
movq %rax, %rcx
subq 0x68(%rsi), %rcx
shrq $0x3, %rcx
cmpq $0x1, %rax
adcq $-0x1, %rcx
movq 0x60(%rsi), %rax
movq 0x70(%rsi), %rdx
subq 0x78(%rsi), %rdx
subq 0x50(%rsi), %rax
sarq $0x5, %rdx
sarq $0x5, %rax
leaq (%rcx,%rcx,2), %rcx
shlq $0x8, %rcx
addq 0x1540(%rsp), %rcx
leaq (%rdx,%rdx,2), %rdx
shlq $0x4, %rdx
leaq (%rax,%rax,2), %rdi
shlq $0x4, %rdi
addq %rdx, %rdi
addq %rcx, %rdi
callq 0x124dbc
movq (%rax), %r12
leaq 0x2b8(%rsp), %rsi
leaq 0x1510(%rsp), %rdi
callq 0x125110
movq %r12, %rdi
movq %rax, %rsi
callq 0x124e38
movq 0x10(%rsp), %rdi
cmpq %r13, %rdi
je 0x11c81b
movq 0x20(%rsp), %rsi
incq %rsi
callq 0x119090
movq %r15, %rdi
callq 0x12cf2a
leaq 0x2e8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x11c844
movq 0x2e8(%rsp), %rsi
incq %rsi
callq 0x119090
leaq 0x2c8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x11c865
movq 0x2c8(%rsp), %rsi
incq %rsi
callq 0x119090
movq 0x98(%rsp), %rdi
cmpq %r14, %rdi
je 0x11c882
movq 0xa8(%rsp), %rsi
incq %rsi
callq 0x119090
leaq 0x98(%rsp), %rdi
movq %r14, (%rdi)
leaq 0x1b9233(%rip), %rsi    # 0x2d5ac7
leaq 0x1b9234(%rip), %rdx    # 0x2d5acf
callq 0x11d0d0
leaq 0x2b8(%rsp), %rdi
leaq 0x98(%rsp), %rsi
callq 0x11d78a
leaq 0x10(%rsp), %rdi
movq %r13, (%rdi)
leaq 0x1b920c(%rip), %rsi    # 0x2d5ad0
leaq 0x1b9208(%rip), %rdx    # 0x2d5ad3
callq 0x11d0d0
leaq 0x40(%rsp), %r13
movq %r13, -0x10(%r13)
leaq 0x1b91f4(%rip), %rsi    # 0x2d5ad4
leaq 0x1b91f0(%rip), %rdx    # 0x2d5ad7
leaq 0x30(%rsp), %rdi
callq 0x11d0d0
leaq 0x2f8(%rsp), %r15
leaq 0x10(%rsp), %rsi
movq %r15, %rdi
callq 0x12d0c8
leaq 0x30(%rsp), %rsi
movq %r15, %rdi
callq 0x12d0c8
leaq 0x88(%rsp), %rbp
movq %rbp, -0x10(%rbp)
leaq 0x1b91b2(%rip), %rsi    # 0x2d5ad8
leaq 0x1b93df(%rip), %rdx    # 0x2d5d0c
leaq 0x78(%rsp), %rdi
callq 0x11d0d0
leaq 0x2d8(%rsp), %r12
leaq 0x78(%rsp), %rsi
movq %r12, %rdi
callq 0x119520
leaq 0x2b8(%rsp), %rsi
leaq 0x1510(%rsp), %rdi
callq 0x12518c
leaq 0x1518(%rsp), %rcx
cmpq %rax, %rcx
jne 0x11ca20
leaq 0xbe0(%rsp), %rdi
leaq 0x2b8(%rsp), %rsi
movq %r12, %rdx
movq %r15, %rcx
xorl %r8d, %r8d
callq 0x123eea
testb %al, %al
je 0x11ca20
leaq 0x2b8(%rsp), %rsi
movq 0x88(%rsi), %rax
movq %rax, %rcx
subq 0x68(%rsi), %rcx
shrq $0x3, %rcx
cmpq $0x1, %rax
adcq $-0x1, %rcx
movq 0x60(%rsi), %rax
movq 0x70(%rsi), %rdx
subq 0x78(%rsi), %rdx
subq 0x50(%rsi), %rax
sarq $0x5, %rdx
sarq $0x5, %rax
leaq (%rcx,%rcx,2), %rcx
shlq $0x8, %rcx
addq 0x1540(%rsp), %rcx
leaq (%rdx,%rdx,2), %rdx
shlq $0x4, %rdx
leaq (%rax,%rax,2), %rdi
shlq $0x4, %rdi
addq %rdx, %rdi
addq %rcx, %rdi
callq 0x124dbc
movq (%rax), %r12
leaq 0x2b8(%rsp), %rsi
leaq 0x1510(%rsp), %rdi
callq 0x125110
movq %r12, %rdi
movq %rax, %rsi
callq 0x124e38
movq 0x78(%rsp), %rdi
cmpq %rbp, %rdi
je 0x11ca3a
movq 0x88(%rsp), %rsi
incq %rsi
callq 0x119090
movq 0x30(%rsp), %rdi
cmpq %r13, %rdi
leaq 0x20(%rsp), %rbp
je 0x11ca56
movq 0x40(%rsp), %rsi
incq %rsi
callq 0x119090
movq 0x10(%rsp), %rdi
cmpq %rbp, %rdi
je 0x11ca6d
movq 0x20(%rsp), %rsi
incq %rsi
callq 0x119090
movq %r15, %rdi
callq 0x12cf2a
movq 0x2d8(%rsp), %rdi
leaq 0x2e8(%rsp), %rax
cmpq %rax, %rdi
je 0x11ca9a
movq 0x2e8(%rsp), %rsi
incq %rsi
callq 0x119090
movq 0x2b8(%rsp), %rdi
leaq 0x2c8(%rsp), %rax
cmpq %rax, %rdi
je 0x11cabf
movq 0x2c8(%rsp), %rsi
incq %rsi
callq 0x119090
movq 0x98(%rsp), %rdi
cmpq %r14, %rdi
je 0x11cadc
movq 0xa8(%rsp), %rsi
incq %rsi
callq 0x119090
leaq 0x98(%rsp), %rdi
movq %r14, (%rdi)
leaq 0x1b921f(%rip), %rsi    # 0x2d5d0d
leaq 0x1b9225(%rip), %rdx    # 0x2d5d1a
callq 0x11d0d0
leaq 0x2b8(%rsp), %rdi
leaq 0x98(%rsp), %rsi
callq 0x11d78a
leaq 0x10(%rsp), %rdi
movq %rbp, (%rdi)
leaq 0x1b8fb2(%rip), %rsi    # 0x2d5ad0
leaq 0x1b8fae(%rip), %rdx    # 0x2d5ad3
callq 0x11d0d0
leaq 0x2f8(%rsp), %r15
leaq 0x10(%rsp), %rsi
movq %r15, %rdi
callq 0x12d0c8
leaq 0x30(%rsp), %rdi
movq %r13, (%rdi)
leaq 0x1b91cd(%rip), %rsi    # 0x2d5d1b
leaq 0x1b94ab(%rip), %rdx    # 0x2d6000
callq 0x11d0d0
leaq 0x2d8(%rsp), %r12
leaq 0x30(%rsp), %rsi
movq %r12, %rdi
callq 0x119520
leaq 0x2b8(%rsp), %rsi
leaq 0x1510(%rsp), %rdi
callq 0x12518c
leaq 0x1518(%rsp), %rcx
cmpq %rax, %rcx
jne 0x11cc43
leaq 0xbe0(%rsp), %rdi
leaq 0x2b8(%rsp), %rsi
movq %r12, %rdx
movq %r15, %rcx
xorl %r8d, %r8d
callq 0x123eea
testb %al, %al
je 0x11cc43
leaq 0x2b8(%rsp), %rsi
movq 0x88(%rsi), %rax
movq %rax, %rcx
subq 0x68(%rsi), %rcx
shrq $0x3, %rcx
cmpq $0x1, %rax
adcq $-0x1, %rcx
movq 0x60(%rsi), %rax
movq 0x70(%rsi), %rdx
subq 0x78(%rsi), %rdx
subq 0x50(%rsi), %rax
sarq $0x5, %rdx
sarq $0x5, %rax
leaq (%rcx,%rcx,2), %rcx
shlq $0x8, %rcx
addq 0x1540(%rsp), %rcx
leaq (%rdx,%rdx,2), %rdx
shlq $0x4, %rdx
leaq (%rax,%rax,2), %rdi
shlq $0x4, %rdi
addq %rdx, %rdi
addq %rcx, %rdi
callq 0x124dbc
movq (%rax), %r12
leaq 0x2b8(%rsp), %rsi
leaq 0x1510(%rsp), %rdi
callq 0x125110
movq %r12, %rdi
movq %rax, %rsi
callq 0x124e38
movq 0x30(%rsp), %rdi
cmpq %r13, %rdi
je 0x11cc5a
movq 0x40(%rsp), %rsi
incq %rsi
callq 0x119090
movq 0x10(%rsp), %rdi
cmpq %rbp, %rdi
je 0x11cc71
movq 0x20(%rsp), %rsi
incq %rsi
callq 0x119090
movq %r15, %rdi
callq 0x12cf2a
movq 0x2d8(%rsp), %rdi
leaq 0x2e8(%rsp), %rax
cmpq %rax, %rdi
je 0x11cc9e
movq 0x2e8(%rsp), %rsi
incq %rsi
callq 0x119090
movq 0x2b8(%rsp), %rdi
leaq 0x2c8(%rsp), %rax
cmpq %rax, %rdi
je 0x11ccc3
movq 0x2c8(%rsp), %rsi
incq %rsi
callq 0x119090
movq 0x98(%rsp), %rdi
cmpq %r14, %rdi
je 0x11cce0
movq 0xa8(%rsp), %rsi
incq %rsi
callq 0x119090
leaq 0x10(%rsp), %rdi
movq %rbp, (%rdi)
leaq 0x1b9312(%rip), %rsi    # 0x2d6001
leaq 0x1b953b(%rip), %rdx    # 0x2d6231
callq 0x11d0d0
leaq 0x30(%rsp), %rdi
callq 0x11d864
movq 0x38(%rsp), %rcx
movq 0x40(%rsp), %rax
subq %rcx, %rax
je 0x11cd61
sarq $0x3, %rax
cmpq $0x1, %rax
movq %rax, %rsi
adcq $0x0, %rsi
cmpq %rbx, %rcx
je 0x11cd70
movq 0x8(%rsp), %rdx
cmpq (%rcx), %rdx
je 0x11cd70
addq $0x8, %rcx
movl $0x1, %edi
subq %rsi, %rdi
xorl %esi, %esi
cmpq %rsi, %rdi
je 0x11cd61
decq %rsi
cmpq %rbx, %rcx
je 0x11cd59
leaq 0x8(%rcx), %r8
cmpq (%rcx), %rdx
movq %r8, %rcx
jne 0x11cd40
negq %rsi
cmpq %rax, %rsi
jb 0x11cd70
leaq 0x38(%rsp), %rdi
leaq 0x8(%rsp), %rsi
callq 0x12d436
leaq 0x98(%rsp), %rdi
movl $0x7f, %esi
callq 0x11d8fe
leaq 0x2b8(%rsp), %rdi
leaq 0x98(%rsp), %rsi
callq 0x11d9fe
leaq 0x198(%rsp), %rdi
callq 0x12d61c
leaq 0x168(%rsp), %rdi
callq 0x12d61c
leaq 0x138(%rsp), %rdi
callq 0x12d61c
leaq 0x108(%rsp), %rdi
callq 0x12d61c
leaq 0xd8(%rsp), %rdi
callq 0x12d61c
leaq 0xa8(%rsp), %rdi
callq 0x12d61c
leaq 0x2b8(%rsp), %rdi
leaq 0x10(%rsp), %rsi
leaq 0x30(%rsp), %rdx
callq 0x11e222
movq 0x30(%rsp), %rax
movq 0x8(%rax), %rdi
movq (%rdi), %rax
callq *0x18(%rax)
leaq 0x2b8(%rsp), %rdi
callq 0x11ebf4
leaq 0x30(%rsp), %rdi
callq 0x11eeb6
movq 0x10(%rsp), %rdi
cmpq %rbp, %rdi
je 0x11ce39
movq 0x20(%rsp), %rsi
incq %rsi
callq 0x119090
leaq 0xbe0(%rsp), %rdi
callq 0x11ef04
leaq 0x8(%rsp), %rdi
callq 0x11ef66
leaq 0x2a8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x11ce71
movq 0x2a8(%rsp), %rsi
incq %rsi
callq 0x119090
leaq 0x2c1c50(%rip), %rbx    # 0x3deac8
leaq 0x280(%rsp), %rax
movq %rbx, -0x30(%rax)
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x11ce9d
movq 0x280(%rsp), %rsi
incq %rsi
callq 0x119090
leaq 0x240(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x11cebe
movq 0x240(%rsp), %rsi
incq %rsi
callq 0x119090
leaq 0x218(%rsp), %rax
movq %rbx, -0x30(%rax)
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x11cee3
movq 0x218(%rsp), %rsi
incq %rsi
callq 0x119090
movq 0x50(%rsp), %rdi
testq %rdi, %rdi
je 0x11cefa
movq 0x60(%rsp), %rsi
subq %rdi, %rsi
callq 0x119090
addq $0x15c8, %rsp           # imm = 0x15C8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x11cf23
movq %rax, %rbx
leaq 0x98(%rsp), %rdi
callq 0x11e1da
jmp 0x11cfc3
movq %rax, %rbx
jmp 0x11cfc3
movq %rax, %rbx
jmp 0x11cfcd
jmp 0x11cf62
jmp 0x11cf44
jmp 0x11cf44
jmp 0x11cf52
jmp 0x11cf5a
jmp 0x11cf62
jmp 0x11cfe5
movq %rax, %rbx
jmp 0x11cfff
jmp 0x11cf52
jmp 0x11cf5a
jmp 0x11cf62
movq %rax, %rbx
jmp 0x11d01b
movq %rax, %rbx
jmp 0x11d028
movq %rax, %rbx
jmp 0x11d045
jmp 0x11cf9b
jmp 0x11cf9b
jmp 0x11cf72
jmp 0x11cf9b
movq %rax, %rbx
movq 0xbe0(%rsp), %rdi
cmpq %r14, %rdi
je 0x11d052
movq 0xbf0(%rsp), %rsi
incq %rsi
callq 0x119090
jmp 0x11d052
movq %rax, %rbx
jmp 0x11d052
movq %rax, %rbx
jmp 0x11d05c
movq %rax, %rbx
jmp 0x11d069
movq %rax, %rbx
leaq 0x2b8(%rsp), %rdi
callq 0x11ebf4
leaq 0x30(%rsp), %rdi
callq 0x11eeb6
movq 0x10(%rsp), %rdi
leaq 0x20(%rsp), %rax
cmpq %rax, %rdi
je 0x11d045
movq 0x20(%rsp), %rsi
jmp 0x11d03d
jmp 0x11cfe5
movq %rax, %rbx
movq 0x30(%rsp), %rdi
cmpq %r13, %rdi
je 0x11cfff
movq 0x40(%rsp), %rsi
incq %rsi
callq 0x119090
movq 0x10(%rsp), %rdi
leaq 0x20(%rsp), %rax
cmpq %rax, %rdi
je 0x11d01b
movq 0x20(%rsp), %rsi
incq %rsi
callq 0x119090
leaq 0x2b8(%rsp), %rdi
callq 0x11d824
movq 0x98(%rsp), %rdi
cmpq %r14, %rdi
je 0x11d045
movq 0xa8(%rsp), %rsi
incq %rsi
callq 0x119090
leaq 0xbe0(%rsp), %rdi
callq 0x11ef04
leaq 0x8(%rsp), %rdi
callq 0x11ef66
leaq 0x1e8(%rsp), %rdi
callq 0x11effc
movq 0x50(%rsp), %rdi
testq %rdi, %rdi
je 0x11d080
movq 0x60(%rsp), %rsi
subq %rdi, %rsi
callq 0x119090
movq %rbx, %rdi
callq 0x1192e0
movq %rax, %rbx
movq 0x78(%rsp), %rdi
cmpq %rbp, %rdi
je 0x11cfe8
movq 0x88(%rsp), %rsi
incq %rsi
callq 0x119090
jmp 0x11cfe8
movq %rax, %rbx
movq 0x10(%rsp), %rdi
cmpq %r13, %rdi
jne 0x11d00e
jmp 0x11d01b