// File: /workspace/github_cpp_makefile_star2_O2/mh0fm4[P]SCDC/test/units/redirect/redirect_test.c
// Function: redirect_test_dataset_cmd
scdcint_t redirect_test_dataset_cmd(void *dataprov, void *dataset, const char *cmd, const char *params, scdc_dataset_input_t *input, scdc_dataset_output_t *output, scdc_result_t *result)
{
  TRACE_F("dataprov: %p, dataset: %p, cmd: '%s', params: '%s', input: %p, output: %p, result: %p", dataprov, dataset, cmd, params, input, output, result);

  printf("input: "); scdc_dataset_input_print(input); printf("\n");
  printf("output: "); scdc_dataset_output_print(output); printf("\n");

  redirect_call_t *rc = dataprov;

  redirect_call_init_scdc(rc);

#if REDIRECT_CALL_PARAMS_CACHE
  redirect_cache_t *rch = (redirect_cache_t *) (rc + 1);

  redirect_call_set_cache_ptr(rc, rch);
#endif

  if (redirect_call_cmd(rc, cmd, params, input, output, result))
  {
    if (strcmp(cmd, "result") == 0) do_result(rc); else
    if (strcmp(cmd, "conf") == 0) do_conf(rc); else
    if (strncmp(cmd, "cache", 5) == 0) do_cache(rc, cmd[5]); else
    if (strcmp(cmd, "param_array") == 0) do_param_array(rc); else
    if (strcmp(cmd, "param_vector") == 0) do_param_vector(rc); else
    if (strcmp(cmd, "param_matrix") == 0) do_param_matrix(rc); else
    {
      TRACE_F("command '%s' not supported!", cmd);
    }
  }

  redirect_call_release_scdc(rc);

  TRACE_F("return");

  return SCDC_SUCCESS;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x198, %rsp            # imm = 0x198
movq %r9, 0x38(%rsp)
movq %r8, %r14
movq %rcx, %r13
movq %rdx, %rbp
movq %rsi, %rbx
movq %rdi, %r12
movq 0x67ca5(%rip), %r15     # 0x74fb8
movq (%r15), %rdi
leaq 0x430b3(%rip), %rsi     # 0x503d0
leaq 0x43111(%rip), %rdx     # 0x50435
xorl %eax, %eax
callq 0xb7c0
movq (%r15), %rdi
subq $0x8, %rsp
leaq 0x43116(%rip), %rsi     # 0x5044f
movq %r12, %rdx
movq %rbx, %rcx
movq %rbp, %r8
movq %r13, %r9
xorl %eax, %eax
pushq 0x1d8(%rsp)
movq 0x48(%rsp), %r15
pushq %r15
pushq %r14
callq 0xb7c0
addq $0x20, %rsp
movq 0x67c51(%rip), %rax     # 0x74fb8
movq (%rax), %rsi
pushq $0xa
popq %rbx
movl %ebx, %edi
callq 0xb6b0
leaq 0x4312a(%rip), %rdi     # 0x504a5
xorl %eax, %eax
callq 0xb070
movq %r14, %rdi
callq 0x24a1c
movl %ebx, %edi
callq 0xb790
leaq 0x43115(%rip), %rdi     # 0x504ad
xorl %eax, %eax
callq 0xb070
movq %r15, %rdi
callq 0x24b42
movl %ebx, %edi
callq 0xb790
movq %r12, %rdi
callq 0xf57b
leaq 0xbb0(%r12), %rsi
movq %r12, %rdi
callq 0xfac0
movq %r12, %rdi
movq %rbp, %rsi
movq %r13, %rdx
movq 0x67be2(%rip), %r13     # 0x74fb8
movq %r14, %rcx
movq %r15, %r8
movq 0x1d0(%rsp), %r9
callq 0xf866
testl %eax, %eax
je 0xe09e
leaq 0x461a0(%rip), %rsi     # 0x53598
movq %rbp, %rdi
callq 0xb7a0
testl %eax, %eax
je 0xd4b8
leaq 0x4667b(%rip), %rsi     # 0x53a8a
movq %rbp, %rdi
callq 0xb7a0
testl %eax, %eax
je 0xd56f
leaq 0x436dc(%rip), %rsi     # 0x50b02
pushq $0x5
popq %rdx
movq %rbp, %rdi
callq 0xb260
testl %eax, %eax
je 0xd87f
leaq 0x43103(%rip), %rsi     # 0x50543
movq %rbp, %rdi
callq 0xb7a0
testl %eax, %eax
je 0xd9bd
leaq 0x430fb(%rip), %rsi     # 0x50552
movq %rbp, %rdi
callq 0xb7a0
testl %eax, %eax
je 0xdb6d
leaq 0x430f4(%rip), %rsi     # 0x50562
movq %rbp, %rdi
callq 0xb7a0
movq (%r13), %rdi
testl %eax, %eax
je 0xe0f9
leaq 0x42f47(%rip), %rsi     # 0x503d0
leaq 0x42fa5(%rip), %rdx     # 0x50435
xorl %eax, %eax
callq 0xb7c0
movq (%r13), %rdi
leaq 0x43014(%rip), %rsi     # 0x504b6
movq %rbp, %rdx
xorl %eax, %eax
callq 0xb7c0
movq (%r13), %rsi
pushq $0xa
popq %rdi
jmp 0xe099
movq (%r13), %rdi
leaq 0x42f0d(%rip), %r14     # 0x503d0
leaq 0x43008(%rip), %r15     # 0x504d2
movq %r14, %rsi
movq %r15, %rdx
xorl %eax, %eax
callq 0xb7c0
movq (%r13), %rdi
leaq 0x42ffa(%rip), %rsi     # 0x504dc
movq %r12, %rdx
xorl %eax, %eax
callq 0xb7c0
movq (%r13), %rsi
pushq $0xa
popq %rbp
movl %ebp, %edi
callq 0xb6b0
leaq 0x42fe2(%rip), %rbx     # 0x504e3
movq %r12, %rdi
movq %rbx, %rsi
callq 0xfc52
movq (%r13), %rdi
movq %r14, %rsi
movq %r15, %rdx
xorl %eax, %eax
callq 0xb7c0
movq (%r13), %rdi
leaq 0x43229(%rip), %rsi     # 0x50751
movq %rbx, %rdx
xorl %eax, %eax
callq 0xb7c0
movq (%r13), %rsi
movl %ebp, %edi
callq 0xb6b0
movq (%r13), %rdi
movq %r14, %rsi
movq %r15, %rdx
xorl %eax, %eax
callq 0xb7c0
movq (%r13), %rcx
leaq 0x42ed5(%rip), %rdi     # 0x5042e
pushq $0x6
popq %rsi
pushq $0x1
popq %rdx
callq 0xba80
movq (%r13), %rsi
movl %ebp, %edi
jmp 0xe099
movq (%r13), %rdi
leaq 0x42e56(%rip), %rbp     # 0x503d0
leaq 0x42f9b(%rip), %rdx     # 0x5051c
movq %rbp, %rsi
xorl %eax, %eax
callq 0xb7c0
movq (%r13), %rdi
leaq 0x42f46(%rip), %rsi     # 0x504dc
movq %r12, %rdx
xorl %eax, %eax
callq 0xb7c0
movq (%r13), %rsi
pushq $0xa
popq %rdi
callq 0xb6b0
leaq 0x20(%rsp), %rdx
movb $0x0, (%rdx)
leaq 0x42ad6(%rip), %rsi     # 0x50091
movq %r12, %rdi
callq 0x10c77
leaq 0x28(%rsp), %rdx
andl $0x0, (%rdx)
leaq 0x4321e(%rip), %r14     # 0x507f0
movq %r12, %rdi
movq %r14, %rsi
callq 0x10f7c
leaq 0x18(%rsp), %rbx
andq $0x0, (%rbx)
leaq 0x42aa9(%rip), %rsi     # 0x50096
movq %r12, %rdi
movq %rbx, %rdx
callq 0xfc2c
leaq 0x8(%rsp), %r15
andq $0x0, (%r15)
leaq 0x42aa5(%rip), %rsi     # 0x500ad
leaq 0x90(%rsp), %rdx
movq %r12, %rdi
movq %r15, %rcx
callq 0xfa74
movq %rsp, %r13
andq $0x0, (%r13)
pushq $0x2
popq %rcx
movq %r12, %rdi
movq %r14, %rsi
movq %r13, %rdx
callq 0x10fc5
leaq 0x10(%rsp), %rdx
andq $0x0, (%rdx)
movq %r12, %rdi
movq %r14, %rsi
callq 0xf4b3
movq 0x67969(%rip), %rax     # 0x74fb8
movq (%rax), %rdi
movq %rbp, %rsi
leaq 0x42ec0(%rip), %r14     # 0x5051c
movq %r14, %rdx
xorl %eax, %eax
callq 0xb7c0
movq 0x6794b(%rip), %rax     # 0x74fb8
movq (%rax), %rdi
leaq 0x20(%rsp), %rax
movsbl (%rax), %edx
leaq 0x28(%rsp), %rax
movl (%rax), %ecx
movq (%rbx), %r8
movq (%r15), %r9
movl (%r13), %r10d
movl 0x4(%r13), %r11d
leaq 0x42a31(%rip), %rsi     # 0x500c5
xorl %eax, %eax
pushq %r11
pushq %r10
pushq %r9
leaq 0xa8(%rsp), %r10
pushq %r10
callq 0xb7c0
addq $0x20, %rsp
movq 0x67902(%rip), %rax     # 0x74fb8
movq (%rax), %rsi
pushq $0xa
popq %rbx
movl %ebx, %edi
callq 0xb6b0
movq 0x678ee(%rip), %rax     # 0x74fb8
movq (%rax), %rdi
movq %rbp, %rsi
movq %r14, %rdx
xorl %eax, %eax
callq 0xb7c0
movq 0x678d7(%rip), %rax     # 0x74fb8
movq (%rax), %rdi
leaq 0x10(%rsp), %rax
movq (%rax), %rdx
leaq 0x42a1a(%rip), %rsi     # 0x5010d
xorl %eax, %eax
callq 0xb7c0
movq 0x678b7(%rip), %rax     # 0x74fb8
movq (%rax), %rsi
movl %ebx, %edi
callq 0xb6b0
pushq $0x38
popq %r13
movq %r12, %rdi
leaq 0x42978(%rip), %rsi     # 0x50091
movl %r13d, %edx
callq 0x10c9d
pushq $0x8
popq %rdx
movq %r12, %rdi
leaq 0x430c2(%rip), %r14     # 0x507f0
movq %r14, %rsi
callq 0x10fa2
movl $0x88888888, %edx       # imm = 0x88888888
movq %r12, %rdi
leaq 0x42951(%rip), %rsi     # 0x50096
callq 0xfb79
leaq 0x42dd3(%rip), %r15     # 0x50524
pushq $0xf
popq %rcx
movq %r12, %rdi
leaq 0x4294f(%rip), %rsi     # 0x500ad
movq %r15, %rdx
callq 0xfa9d
movabsq $0x5800000008, %rax     # imm = 0x5800000008
leaq 0x30(%rsp), %rbx
movq %rax, (%rbx)
movq %r12, %rdi
movq %r14, %rsi
movq %rbx, %rdx
pushq $0x2
popq %rcx
callq 0x10fee
movq 0x67828(%rip), %rax     # 0x74fb8
movq (%rax), %rdi
movq %rbp, %r14
movq %rbp, %rsi
leaq 0x42d7c(%rip), %rbp     # 0x5051c
movq %rbp, %rdx
xorl %eax, %eax
callq 0xb7c0
movq 0x67807(%rip), %rax     # 0x74fb8
movq (%rax), %rdi
movl (%rbx), %r10d
movl 0x4(%rbx), %r11d
leaq 0x4295d(%rip), %rsi     # 0x5011f
pushq $0xf
popq %r9
movl $0x88888888, %r8d       # imm = 0x88888888
movl %r13d, %edx
movq 0x677e2(%rip), %r13     # 0x74fb8
pushq $0x8
popq %rcx
xorl %eax, %eax
pushq %r11
pushq %r10
pushq $0xf
pushq %r15
callq 0xb7c0
addq $0x20, %rsp
movq (%r13), %rsi
pushq $0xa
popq %r15
movl %r15d, %edi
callq 0xb6b0
leaq 0x42d31(%rip), %rsi     # 0x50534
movq %r12, %rdi
callq 0xfc52
movq (%r13), %rdi
movq %r14, %rsi
movq %rbp, %rdx
xorl %eax, %eax
callq 0xb7c0
movq (%r13), %rbx
movq %r12, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0xfc63
leaq 0x42f1e(%rip), %rsi     # 0x50751
movq %rbx, %rdi
movq %rax, %rdx
xorl %eax, %eax
callq 0xb7c0
movq (%r13), %rsi
movl %r15d, %edi
callq 0xb6b0
movq (%r13), %rdi
movq %r14, %rsi
movq %rbp, %rdx
xorl %eax, %eax
callq 0xb7c0
movq (%r13), %rcx
leaq 0x42bc6(%rip), %rdi     # 0x5042e
pushq $0x6
popq %rsi
pushq $0x1
popq %rdx
callq 0xba80
movq (%r13), %rsi
movl %r15d, %edi
jmp 0xe099
movzbl 0x5(%rbp), %ebp
movq (%r13), %rdi
leaq 0x42b42(%rip), %rsi     # 0x503d0
leaq 0x42ca2(%rip), %rdx     # 0x50537
xorl %eax, %eax
callq 0xb7c0
movq (%r13), %rdi
leaq 0x42c35(%rip), %rsi     # 0x504dc
movq %r12, %rdx
xorl %eax, %eax
callq 0xb7c0
movq (%r13), %rsi
pushq $0xa
popq %rdi
callq 0xb6b0
leaq 0x90(%rsp), %rbx
andq $0x0, (%rbx)
leaq 0x18(%rsp), %r14
andq $0x0, (%r14)
leaq 0x428ad(%rip), %rsi     # 0x50186
movq %r12, %rdi
movq %rbx, %rdx
callq 0xf9cb
leaq 0x428a1(%rip), %rsi     # 0x5018c
movq %r12, %rdi
movq %r14, %rdx
movq %rbx, %rcx
callq 0x10a0a
movq (%r14), %rsi
movq (%rbx), %rdx
leaq 0x42869(%rip), %rdi     # 0x5016f
xorl %eax, %eax
callq 0xb070
movq (%r14), %rdi
movq (%rbx), %rsi
callq 0x109fb
cmpl $0x31, %ebp
je 0xdf5e
cmpl $0x30, %ebp
jne 0xe00c
leaq 0x8(%rsp), %r14
andq $0x0, (%r14)
movq %rsp, %r15
andq $0x0, (%r15)
leaq 0x42868(%rip), %rsi     # 0x501a9
movq %r12, %rdi
movq %r14, %rdx
callq 0xf9cb
movq %r12, %rbx
leaq 0x42859(%rip), %r12     # 0x501af
movq %rbx, %rdi
movq %r12, %rsi
movq %r15, %rdx
movq %r14, %rcx
callq 0x10a14
movq (%r15), %rsi
movq (%r14), %rdx
leaq 0x4281e(%rip), %rdi     # 0x50192
xorl %eax, %eax
callq 0xb070
movq (%r15), %rdi
movq (%r14), %rsi
pushq $0x1
popq %rdx
movsd 0x42a24(%rip), %xmm0    # 0x503b0
movsd 0x4267c(%rip), %xmm1    # 0x50010
callq 0xd144
movq (%r15), %rdi
movq (%r14), %rsi
callq 0x109fb
movq (%r15), %rdx
movq (%r14), %rcx
movq %rbx, %rdi
movq %r12, %rsi
movq %rbx, %r12
callq 0x10a0f
jmp 0xe00c
movq (%r13), %rdi
leaq 0x42a08(%rip), %rsi     # 0x503d0
leaq 0x42b71(%rip), %rdx     # 0x50540
xorl %eax, %eax
callq 0xb7c0
movq (%r13), %rdi
leaq 0x42afb(%rip), %rsi     # 0x504dc
movq %r12, %rdx
xorl %eax, %eax
callq 0xb7c0
movq (%r13), %rsi
pushq $0xa
popq %rdi
callq 0xb6b0
leaq 0x90(%rsp), %rbx
andq $0x0, (%rbx)
leaq 0x18(%rsp), %r14
andq $0x0, (%r14)
leaq 0x4280f(%rip), %rsi     # 0x50222
movq %r12, %rdi
movq %rbx, %rdx
callq 0xf9cb
leaq 0x42802(%rip), %rsi     # 0x50227
movq %r12, %rdi
movq %r14, %rdx
movq %rbx, %rcx
callq 0x10a0a
movq (%r14), %rsi
movq (%rbx), %rdx
leaq 0x427cd(%rip), %rdi     # 0x5020d
xorl %eax, %eax
callq 0xb070
movq (%r14), %rdi
movq (%rbx), %rsi
callq 0x109fb
movq %r13, %rbx
leaq 0x8(%rsp), %r13
andq $0x0, (%r13)
movq %rsp, %r14
andq $0x0, (%r14)
leaq 0x4273c(%rip), %rsi     # 0x501a9
movq %r12, %rdi
movq %r13, %rdx
callq 0xf9cb
leaq 0x42730(%rip), %r15     # 0x501af
movq %r12, %rdi
movq %r15, %rsi
movq %r14, %rdx
movq %r13, %rcx
callq 0x10a14
movq (%r14), %rsi
movq (%r13), %rdx
leaq 0x426f4(%rip), %rdi     # 0x50192
xorl %eax, %eax
callq 0xb070
movq (%r14), %rdi
movq (%r13), %rsi
pushq $0x1
popq %rbp
movsd 0x428f9(%rip), %xmm0    # 0x503b0
movsd 0x42551(%rip), %xmm1    # 0x50010
movq %rbp, %rdx
callq 0xd144
movq (%r14), %rdi
movq (%r13), %rsi
callq 0x109fb
movq (%r14), %rdx
movq (%r13), %rcx
movq %rbx, %r13
movq %r12, %rdi
movq %r15, %rsi
callq 0x10a0f
leaq 0x42a45(%rip), %rsi     # 0x50534
movq %r12, %rdi
callq 0xfc52
movq (%rbx), %rdi
leaq 0x428cf(%rip), %r14     # 0x503d0
movq %r14, %rsi
leaq 0x42a35(%rip), %r15     # 0x50540
movq %r15, %rdx
xorl %eax, %eax
callq 0xb7c0
movq (%rbx), %rbx
movq %r12, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0xfc63
leaq 0x42c26(%rip), %rsi     # 0x50751
movq %rbx, %rdi
movq %rax, %rdx
xorl %eax, %eax
callq 0xb7c0
movq (%r13), %rsi
pushq $0xa
popq %rbx
movl %ebx, %edi
callq 0xb6b0
movq (%r13), %rdi
movq %r14, %rsi
movq %r15, %rdx
xorl %eax, %eax
callq 0xb7c0
movq (%r13), %rcx
leaq 0x428cc(%rip), %rdi     # 0x5042e
pushq $0x6
popq %rsi
movq %rbp, %rdx
jmp 0xe08e
movq (%r13), %rdi
leaq 0x42858(%rip), %rsi     # 0x503d0
leaq 0x429d0(%rip), %rdx     # 0x5054f
xorl %eax, %eax
callq 0xb7c0
movq (%r13), %rdi
leaq 0x4294b(%rip), %rsi     # 0x504dc
movq %r12, %rdx
xorl %eax, %eax
callq 0xb7c0
movq (%r13), %rsi
pushq $0xa
popq %rdi
callq 0xb6b0
leaq 0x90(%rsp), %r14
andq $0x0, (%r14)
leaq 0x18(%rsp), %r15
andq $0x0, (%r15)
leaq 0x8(%rsp), %rbx
andq $0x0, (%rbx)
leaq 0x425ba(%rip), %rsi     # 0x50186
movq %r12, %rdi
movq %r14, %rdx
callq 0xf9cb
leaq 0x425ae(%rip), %rsi     # 0x5018c
movq %r12, %rdi
movq %rbx, %rdx
movq %r14, %rcx
movq %r15, %r8
callq 0x10a2d
movq (%rbx), %rsi
movq (%r14), %rdx
movq (%r15), %rcx
leaq 0x4263e(%rip), %rdi     # 0x5023d
xorl %eax, %eax
callq 0xb070
movq (%rbx), %rdi
movq (%r14), %rsi
movq (%r15), %rdx
callq 0x10a23
movq %rsp, %r14
andq $0x0, (%r14)
leaq 0x10(%rsp), %r15
andq $0x0, (%r15)
leaq 0x30(%rsp), %rbx
andq $0x0, (%rbx)
leaq 0x425aa(%rip), %rsi     # 0x501de
movq %r12, %rdi
movq %r14, %rdx
callq 0xf9cb
leaq 0x4259e(%rip), %rsi     # 0x501e4
movq %r12, %rdi
movq %rbx, %rdx
movq %r14, %rcx
movq %r15, %r8
callq 0x10a2d
movq (%rbx), %rsi
movq (%r14), %rdx
movq (%r15), %rcx
leaq 0x425fb(%rip), %rdi     # 0x50262
xorl %eax, %eax
callq 0xb070
movq (%rbx), %rdi
movq (%r14), %rsi
movq (%r15), %rdx
callq 0x10a23
leaq 0x28(%rsp), %r14
andq $0x0, (%r14)
leaq 0x20(%rsp), %r15
movq $0x1, (%r15)
leaq 0x88(%rsp), %rbx
andq $0x0, (%rbx)
leaq 0x42663(%rip), %rsi     # 0x50307
movq %r12, %rdi
movq %r14, %rdx
callq 0xf9cb
leaq 0x4265a(%rip), %r13     # 0x50310
movq %r12, %rdi
movq %r13, %rsi
movq %rbx, %rdx
movq %r14, %rcx
movq %r15, %r8
callq 0x10a37
movq (%rbx), %rsi
movq (%r14), %rdx
movq (%r15), %rcx
leaq 0x425ad(%rip), %rdi     # 0x50287
xorl %eax, %eax
callq 0xb070
movq (%rbx), %rdi
movq (%r14), %rsi
movq (%r15), %rdx
movsd 0x426be(%rip), %xmm0    # 0x503b0
movsd 0x42316(%rip), %xmm1    # 0x50010
callq 0xd144
movq (%rbx), %rdi
movq (%r14), %rsi
movq (%r15), %rdx
callq 0x10a23
movq (%rbx), %rdx
movq (%r14), %rcx
movq (%r15), %r8
movq %r12, %rdi
movq %r13, %rsi
callq 0x10a32
leaq 0x80(%rsp), %r14
andq $0x0, (%r14)
leaq 0x78(%rsp), %r15
movq $0x2, (%r15)
leaq 0x70(%rsp), %r13
andq $0x0, (%r13)
leaq 0x425fd(%rip), %rsi     # 0x50347
movq %r12, %rdi
movq %r14, %rdx
callq 0xf9cb
leaq 0x425f4(%rip), %rbx     # 0x50350
movq %r12, %rdi
movq %rbx, %rsi
movq %r13, %rdx
movq %r14, %rcx
movq %r15, %r8
callq 0x10a37
movq (%r13), %rsi
movq (%r14), %rdx
movq (%r15), %rcx
leaq 0x4252e(%rip), %rdi     # 0x502af
xorl %eax, %eax
callq 0xb070
movq (%r13), %rdi
movq (%r14), %rsi
movq (%r15), %rdx
movsd 0x4261e(%rip), %xmm0    # 0x503b8
movsd 0x4226e(%rip), %xmm1    # 0x50010
callq 0xd144
movq (%r13), %rdi
movq (%r14), %rsi
movq (%r15), %rdx
callq 0x10a23
movq (%r13), %rdx
movq (%r14), %rcx
movq (%r15), %r8
movq %r12, %rdi
movq %rbx, %rsi
callq 0x10a32
leaq 0x68(%rsp), %r13
andq $0x0, (%r13)
leaq 0x60(%rsp), %r14
andq $0x0, (%r14)
leaq 0x58(%rsp), %r15
andq $0x0, (%r15)
leaq 0x42517(%rip), %rsi     # 0x50305
movq %r12, %rdi
movq %r13, %rdx
callq 0xf9cb
leaq 0x4250e(%rip), %rbp     # 0x5030e
movq %r12, %rdi
movq %rbp, %rsi
movq %r15, %rdx
movq %r13, %rcx
movq %r14, %r8
callq 0x10a41
movq (%r15), %rsi
movq (%r13), %rdx
movq (%r14), %rcx
leaq 0x424b2(%rip), %rdi     # 0x502d7
xorl %eax, %eax
callq 0xb070
movq (%r15), %rdi
movq (%r13), %rsi
movq (%r14), %rdx
callq 0x10a23
movq (%r15), %rdi
movq (%r13), %rsi
movq (%r14), %rdx
movsd 0x42573(%rip), %xmm0    # 0x503c0
movsd 0x421bb(%rip), %xmm1    # 0x50010
callq 0xd144
movq (%r15), %rdi
movq (%r13), %rsi
movq (%r14), %rdx
callq 0x10a23
movq (%r15), %rdx
movq (%r13), %rcx
movq (%r14), %r8
movq %r12, %rdi
movq %rbp, %rsi
callq 0x10a32
leaq 0x50(%rsp), %r13
andq $0x0, (%r13)
leaq 0x48(%rsp), %r14
andq $0x0, (%r14)
leaq 0x40(%rsp), %r15
andq $0x0, (%r15)
leaq 0x424a4(%rip), %rsi     # 0x50345
movq %r12, %rdi
movq %r13, %rdx
callq 0xf9cb
leaq 0x4249b(%rip), %rsi     # 0x5034e
movq %r12, %rdi
movq %r15, %rdx
movq %r13, %rcx
movq %r14, %r8
callq 0x10a41
movq (%r15), %rsi
movq (%r13), %rdx
movq (%r14), %rcx
leaq 0x42442(%rip), %rdi     # 0x50317
xorl %eax, %eax
callq 0xb070
movq (%r15), %rdi
movq (%r13), %rsi
movq (%r14), %rdx
callq 0x10a23
movq (%r15), %rdi
movq (%r13), %rsi
movq (%r14), %rdx
movsd 0x424cb(%rip), %xmm0    # 0x503c8
movsd 0x4210b(%rip), %xmm1    # 0x50010
callq 0xd144
movq (%r15), %rdi
movq (%r13), %rsi
movq (%r14), %rdx
callq 0x10a23
movq (%r15), %rdx
movq (%r13), %rcx
movq 0x67091(%rip), %r13     # 0x74fb8
movq (%r14), %r8
movq %r12, %rdi
movq %rbx, %rsi
callq 0x10a32
leaq 0x425f8(%rip), %rsi     # 0x50534
movq %r12, %rdi
callq 0xfc52
movq (%r13), %rdi
leaq 0x42481(%rip), %r14     # 0x503d0
movq %r14, %rsi
leaq 0x425f6(%rip), %r15     # 0x5054f
jmp 0xe030
leaq 0x8(%rsp), %r14
andq $0x0, (%r14)
movq %rsp, %rbx
andq $0x0, (%rbx)
leaq 0x42269(%rip), %rsi     # 0x501de
movq %r12, %rdi
movq %r14, %rdx
callq 0xf9cb
leaq 0x4225d(%rip), %rsi     # 0x501e4
movq %r12, %rdi
movq %rbx, %rdx
movq %r14, %rcx
callq 0x10a0a
movq (%rbx), %rsi
movq (%r14), %rdx
leaq 0x42225(%rip), %rdi     # 0x501c7
xorl %eax, %eax
callq 0xb070
movq (%rbx), %rdi
movq (%r14), %rsi
callq 0x109fb
leaq 0x10(%rsp), %rbx
andq $0x0, (%rbx)
leaq 0x30(%rsp), %r14
andq $0x0, (%r14)
leaq 0x42234(%rip), %rsi     # 0x50201
movq %r12, %rdi
movq %rbx, %rdx
callq 0xf9cb
leaq 0x42228(%rip), %rsi     # 0x50207
movq %r12, %rdi
movq %r14, %rdx
movq %rbx, %rcx
callq 0x10a0a
movq (%r14), %rsi
movq (%rbx), %rdx
leaq 0x421f0(%rip), %rdi     # 0x501ea
xorl %eax, %eax
callq 0xb070
movq (%r14), %rdi
movq (%rbx), %rsi
callq 0x109fb
leaq 0x42521(%rip), %rsi     # 0x50534
movq %r12, %rdi
callq 0xfc52
movq (%r13), %rdi
leaq 0x423aa(%rip), %r14     # 0x503d0
leaq 0x4250a(%rip), %r15     # 0x50537
movq %r14, %rsi
movq %r15, %rdx
xorl %eax, %eax
callq 0xb7c0
movq (%r13), %rbx
movq %r12, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0xfc63
leaq 0x42700(%rip), %rsi     # 0x50751
movq %rbx, %rdi
movq %rax, %rdx
xorl %eax, %eax
callq 0xb7c0
movq (%r13), %rsi
pushq $0xa
popq %rbx
movl %ebx, %edi
callq 0xb6b0
movq (%r13), %rdi
movq %r14, %rsi
movq %r15, %rdx
xorl %eax, %eax
callq 0xb7c0
movq (%r13), %rcx
leaq 0x423a6(%rip), %rdi     # 0x5042e
pushq $0x6
popq %rsi
pushq $0x1
popq %rdx
callq 0xba80
movq (%r13), %rsi
movl %ebx, %edi
callq 0xb6b0
movq %r12, %rdi
callq 0xf5d5
movq (%r13), %rdi
leaq 0x4231f(%rip), %rsi     # 0x503d0
leaq 0x4237d(%rip), %rdx     # 0x50435
xorl %eax, %eax
callq 0xb7c0
movq (%r13), %rcx
leaq 0x42364(%rip), %rdi     # 0x5042e
pushq $0x6
popq %rsi
pushq $0x1
popq %rbx
movq %rbx, %rdx
callq 0xba80
movq (%r13), %rsi
pushq $0xa
popq %rdi
callq 0xb6b0
movq %rbx, %rax
addq $0x198, %rsp            # imm = 0x198
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x422d0(%rip), %r14     # 0x503d0
leaq 0x42458(%rip), %r15     # 0x5055f
movq %r14, %rsi
movq %r15, %rdx
xorl %eax, %eax
callq 0xb7c0
movq (%r13), %rdi
leaq 0x423bd(%rip), %rsi     # 0x504dc
movq %r12, %rdx
xorl %eax, %eax
callq 0xb7c0
movq (%r13), %rsi
pushq $0xa
popq %rbp
movl %ebp, %edi
callq 0xb6b0
leaq 0x423f6(%rip), %rsi     # 0x50534
movq %r12, %rdi
callq 0xfc52
movq (%r13), %rdi
movq %r14, %rsi
movq %r15, %rdx
xorl %eax, %eax
callq 0xb7c0
movq (%r13), %rbx
movq %r12, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0xfc63
leaq 0x425e3(%rip), %rsi     # 0x50751
movq %rbx, %rdi
movq %rax, %rdx
jmp 0xd52b
nopl (%rax)