// File: /workspace/github_c_makefile_star2_O0/RodionGork[P]tinyscheme/scheme.c
// Function: opexe_3
static pointer opexe_3(scheme * sc, enum scheme_opcodes op) {
  pointer x;
  num v;
  int (*comp_func) (num, num) = 0;

  switch (op) {
  case OP_NOT:                 /* not */
    s_retbool(is_false(car(sc->args)));
  case OP_BOOLP:               /* boolean? */
    s_retbool(car(sc->args) == sc->F || car(sc->args) == sc->T);
  case OP_EOFOBJP:             /* boolean? */
    s_retbool(car(sc->args) == sc->EOF_OBJ);
  case OP_NULLP:               /* null? */
    s_retbool(car(sc->args) == sc->NIL);
  case OP_NUMEQ:               /* = */
  case OP_LESS:                /* < */
  case OP_GRE:                 /* > */
  case OP_LEQ:                 /* <= */
  case OP_GEQ:                 /* >= */
    switch (op) {
    case OP_NUMEQ:
      comp_func = num_eq;
      break;
    case OP_LESS:
      comp_func = num_lt;
      break;
    case OP_GRE:
      comp_func = num_gt;
      break;
    case OP_LEQ:
      comp_func = num_le;
      break;
    case OP_GEQ:
      comp_func = num_ge;
      break;
    default:
      break;                    /* Quiet the compiler */
    }
    x = sc->args;
    v = nvalue(car(x));
    x = cdr(x);

    for (; x != sc->NIL; x = cdr(x)) {
      if (!comp_func(v, nvalue(car(x)))) {
        s_retbool(0);
      }
      v = nvalue(car(x));
    }
    s_retbool(1);
  case OP_SYMBOLP:             /* symbol? */
    s_retbool(is_symbol(car(sc->args)));
  case OP_NUMBERP:             /* number? */
    s_retbool(is_number(car(sc->args)));
  case OP_STRINGP:             /* string? */
    s_retbool(is_string(car(sc->args)));
  case OP_INTEGERP:            /* integer? */
    s_retbool(is_integer(car(sc->args)));
  case OP_REALP:               /* real? */
    s_retbool(is_number(car(sc->args)));        /* All numbers are real */
  case OP_CHARP:               /* char? */
    s_retbool(is_character(car(sc->args)));
#if USE_CHAR_CLASSIFIERS
  case OP_CHARAP:              /* char-alphabetic? */
    s_retbool(Cisalpha(ivalue(car(sc->args))));
  case OP_CHARNP:              /* char-numeric? */
    s_retbool(Cisdigit(ivalue(car(sc->args))));
  case OP_CHARWP:              /* char-whitespace? */
    s_retbool(Cisspace(ivalue(car(sc->args))));
  case OP_CHARUP:              /* char-upper-case? */
    s_retbool(Cisupper(ivalue(car(sc->args))));
  case OP_CHARLP:              /* char-lower-case? */
    s_retbool(Cislower(ivalue(car(sc->args))));
#endif
  case OP_PORTP:               /* port? */
    s_retbool(is_port(car(sc->args)));
  case OP_INPORTP:             /* input-port? */
    s_retbool(is_inport(car(sc->args)));
  case OP_OUTPORTP:            /* output-port? */
    s_retbool(is_outport(car(sc->args)));
  case OP_PROCP:               /* procedure? */
          /*--
              * continuation should be procedure by the example
              * (call-with-current-continuation procedure?) ==> #t
                 * in R^3 report sec. 6.9
              */
    s_retbool(is_proc(car(sc->args)) || is_closure(car(sc->args))
        || is_continuation(car(sc->args)) || is_foreign(car(sc->args)));
  case OP_PAIRP:               /* pair? */
    s_retbool(is_pair(car(sc->args)));
  case OP_LISTP:               /* list? */
    s_retbool(list_length(sc, car(sc->args)) >= 0);

  case OP_ENVP:                /* environment? */
    s_retbool(is_environment(car(sc->args)));
  case OP_VECTORP:             /* vector? */
    s_retbool(is_vector(car(sc->args)));
  case OP_BVECTORP:             /* bytevector? */
    s_retbool(is_bvector(car(sc->args)));
  case OP_EQ:                  /* eq? */
    s_retbool(car(sc->args) == cadr(sc->args));
  case OP_EQV:                 /* eqv? */
    s_retbool(eqv(car(sc->args), cadr(sc->args)));
  case OP_CURR_SEC:            /* current-second */
    v.is_fixnum = 0;
    v.value.rvalue = time(0);
    s_return(sc, mk_number(sc, v));
  case OP_EVAL_CNT:            /* eval-count */
    v.is_fixnum = 1;
    v.value.ivalue = evalcnt;
    s_return(sc, mk_number(sc, v));
  default:
    sprintf(sc->strbuff, "%d: illegal operator", sc->op);
    Error_0(sc, sc->strbuff);
  }
  return sc->T;
}

// Assembly:
subq $0x238, %rsp            # imm = 0x238
movq %rdi, 0x228(%rsp)
movl %esi, 0x224(%rsp)
movq $0x0, 0x200(%rsp)
movl 0x224(%rsp), %eax
addl $-0x64, %eax
movl %eax, %ecx
movq %rcx, 0x1c8(%rsp)
subl $0x20, %eax
ja 0xf780
movq 0x1c8(%rsp), %rax
leaq 0x8a06(%rip), %rcx      # 0x17194
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq 0x228(%rsp), %rax
movq %rax, 0x1c0(%rsp)
movq 0x228(%rsp), %rax
movq 0x30(%rax), %rax
movq 0x8(%rax), %rax
movq 0x228(%rsp), %rcx
cmpq 0xd0(%rcx), %rax
jne 0xe7e1
movq 0x228(%rsp), %rax
movq 0xb0(%rax), %rax
movq %rax, 0x1b8(%rsp)
jmp 0xe7f8
movq 0x228(%rsp), %rax
movq 0xd0(%rax), %rax
movq %rax, 0x1b8(%rsp)
movq 0x1c0(%rsp), %rdi
movq 0x1b8(%rsp), %rsi
callq 0x131b0
movq %rax, 0x230(%rsp)
jmp 0xf7d3
movq 0x228(%rsp), %rax
movq %rax, 0x1b0(%rsp)
movq 0x228(%rsp), %rax
movq 0x30(%rax), %rax
movq 0x8(%rax), %rax
movq 0x228(%rsp), %rcx
cmpq 0xd0(%rcx), %rax
je 0xe86c
movq 0x228(%rsp), %rax
movq 0x30(%rax), %rax
movq 0x8(%rax), %rax
movq 0x228(%rsp), %rcx
cmpq 0xb0(%rcx), %rax
jne 0xe885
movq 0x228(%rsp), %rax
movq 0xb0(%rax), %rax
movq %rax, 0x1a8(%rsp)
jmp 0xe89c
movq 0x228(%rsp), %rax
movq 0xd0(%rax), %rax
movq %rax, 0x1a8(%rsp)
movq 0x1b0(%rsp), %rdi
movq 0x1a8(%rsp), %rsi
callq 0x131b0
movq %rax, 0x230(%rsp)
jmp 0xf7d3
movq 0x228(%rsp), %rax
movq %rax, 0x1a0(%rsp)
movq 0x228(%rsp), %rax
movq 0x30(%rax), %rax
movq 0x8(%rax), %rax
movq 0x228(%rsp), %rcx
cmpq 0xf0(%rcx), %rax
jne 0xe908
movq 0x228(%rsp), %rax
movq 0xb0(%rax), %rax
movq %rax, 0x198(%rsp)
jmp 0xe91f
movq 0x228(%rsp), %rax
movq 0xd0(%rax), %rax
movq %rax, 0x198(%rsp)
movq 0x1a0(%rsp), %rdi
movq 0x198(%rsp), %rsi
callq 0x131b0
movq %rax, 0x230(%rsp)
jmp 0xf7d3
movq 0x228(%rsp), %rax
movq %rax, 0x190(%rsp)
movq 0x228(%rsp), %rax
movq 0x30(%rax), %rax
movq 0x8(%rax), %rax
movq 0x228(%rsp), %rcx
cmpq 0x90(%rcx), %rax
jne 0xe98b
movq 0x228(%rsp), %rax
movq 0xb0(%rax), %rax
movq %rax, 0x188(%rsp)
jmp 0xe9a2
movq 0x228(%rsp), %rax
movq 0xd0(%rax), %rax
movq %rax, 0x188(%rsp)
movq 0x190(%rsp), %rdi
movq 0x188(%rsp), %rsi
callq 0x131b0
movq %rax, 0x230(%rsp)
jmp 0xf7d3
movl 0x224(%rsp), %eax
addl $-0x68, %eax
movl %eax, %ecx
movq %rcx, 0x180(%rsp)
subl $0x4, %eax
ja 0xea4a
movq 0x180(%rsp), %rax
leaq 0x882c(%rip), %rcx      # 0x17218
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
leaq -0x929c(%rip), %rax     # 0x5760
movq %rax, 0x200(%rsp)
jmp 0xea4c
leaq 0x70d3(%rip), %rax      # 0x15ae0
movq %rax, 0x200(%rsp)
jmp 0xea4c
leaq 0x71a2(%rip), %rax      # 0x15bc0
movq %rax, 0x200(%rsp)
jmp 0xea4c
leaq 0x7271(%rip), %rax      # 0x15ca0
movq %rax, 0x200(%rsp)
jmp 0xea4c
leaq 0x72b0(%rip), %rax      # 0x15cf0
movq %rax, 0x200(%rsp)
jmp 0xea4c
jmp 0xea4c
movq 0x228(%rsp), %rax
movq 0x30(%rax), %rax
movq %rax, 0x218(%rsp)
movq 0x218(%rsp), %rax
movq 0x8(%rax), %rdi
callq 0x4620
movb %al, 0x1f0(%rsp)
movq %rdx, 0x1f8(%rsp)
movq 0x1f0(%rsp), %rax
movq %rax, 0x208(%rsp)
movq 0x1f8(%rsp), %rax
movq %rax, 0x210(%rsp)
movq 0x218(%rsp), %rax
movq 0x10(%rax), %rax
movq %rax, 0x218(%rsp)
movq 0x218(%rsp), %rax
movq 0x228(%rsp), %rcx
cmpq 0x90(%rcx), %rax
je 0xebba
movq 0x200(%rsp), %rax
movq %rax, 0x178(%rsp)
movq 0x218(%rsp), %rax
movq 0x8(%rax), %rdi
callq 0x4620
movb %al, %cl
movq 0x178(%rsp), %rax
movb %cl, 0x1e0(%rsp)
movq %rdx, 0x1e8(%rsp)
movb 0x208(%rsp), %dil
movq 0x210(%rsp), %rsi
movb 0x1e0(%rsp), %dl
movq 0x1e8(%rsp), %rcx
movzbl %dil, %edi
movzbl %dl, %edx
callq *%rax
cmpl $0x0, %eax
jne 0xeb61
movq 0x228(%rsp), %rdi
movq 0x228(%rsp), %rax
movq 0xd0(%rax), %rsi
callq 0x131b0
movq %rax, 0x230(%rsp)
jmp 0xf7d3
movq 0x218(%rsp), %rax
movq 0x8(%rax), %rdi
callq 0x4620
movb %al, 0x1d0(%rsp)
movq %rdx, 0x1d8(%rsp)
movq 0x1d0(%rsp), %rax
movq %rax, 0x208(%rsp)
movq 0x1d8(%rsp), %rax
movq %rax, 0x210(%rsp)
movq 0x218(%rsp), %rax
movq 0x10(%rax), %rax
movq %rax, 0x218(%rsp)
jmp 0xeab4
movq 0x228(%rsp), %rdi
movq 0x228(%rsp), %rax
movq 0xb0(%rax), %rsi
callq 0x131b0
movq %rax, 0x230(%rsp)
jmp 0xf7d3
movq 0x228(%rsp), %rax
movq %rax, 0x170(%rsp)
movq 0x228(%rsp), %rax
movq 0x30(%rax), %rax
movq 0x8(%rax), %rdi
callq 0x4790
cmpl $0x0, %eax
je 0xec26
movq 0x228(%rsp), %rax
movq 0xb0(%rax), %rax
movq %rax, 0x168(%rsp)
jmp 0xec3d
movq 0x228(%rsp), %rax
movq 0xd0(%rax), %rax
movq %rax, 0x168(%rsp)
movq 0x170(%rsp), %rdi
movq 0x168(%rsp), %rsi
callq 0x131b0
movq %rax, 0x230(%rsp)
jmp 0xf7d3
movq 0x228(%rsp), %rax
movq %rax, 0x160(%rsp)
movq 0x228(%rsp), %rax
movq 0x30(%rax), %rax
movq 0x8(%rax), %rdi
callq 0x4460
cmpl $0x0, %eax
je 0xeca2
movq 0x228(%rsp), %rax
movq 0xb0(%rax), %rax
movq %rax, 0x158(%rsp)
jmp 0xecb9
movq 0x228(%rsp), %rax
movq 0xd0(%rax), %rax
movq %rax, 0x158(%rsp)
movq 0x160(%rsp), %rdi
movq 0x158(%rsp), %rsi
callq 0x131b0
movq %rax, 0x230(%rsp)
jmp 0xf7d3
movq 0x228(%rsp), %rax
movq %rax, 0x150(%rsp)
movq 0x228(%rsp), %rax
movq 0x30(%rax), %rax
movq 0x8(%rax), %rdi
callq 0x4400
cmpl $0x0, %eax
je 0xed1e
movq 0x228(%rsp), %rax
movq 0xb0(%rax), %rax
movq %rax, 0x148(%rsp)
jmp 0xed35
movq 0x228(%rsp), %rax
movq 0xd0(%rax), %rax
movq %rax, 0x148(%rsp)
movq 0x150(%rsp), %rdi
movq 0x148(%rsp), %rsi
callq 0x131b0
movq %rax, 0x230(%rsp)
jmp 0xf7d3
movq 0x228(%rsp), %rax
movq %rax, 0x140(%rsp)
movq 0x228(%rsp), %rax
movq 0x30(%rax), %rax
movq 0x8(%rax), %rdi
callq 0x4480
cmpl $0x0, %eax
je 0xed9a
movq 0x228(%rsp), %rax
movq 0xb0(%rax), %rax
movq %rax, 0x138(%rsp)
jmp 0xedb1
movq 0x228(%rsp), %rax
movq 0xd0(%rax), %rax
movq %rax, 0x138(%rsp)
movq 0x140(%rsp), %rdi
movq 0x138(%rsp), %rsi
callq 0x131b0
movq %rax, 0x230(%rsp)
jmp 0xf7d3
movq 0x228(%rsp), %rax
movq %rax, 0x130(%rsp)
movq 0x228(%rsp), %rax
movq 0x30(%rax), %rax
movq 0x8(%rax), %rdi
callq 0x4460
cmpl $0x0, %eax
je 0xee16
movq 0x228(%rsp), %rax
movq 0xb0(%rax), %rax
movq %rax, 0x128(%rsp)
jmp 0xee2d
movq 0x228(%rsp), %rax
movq 0xd0(%rax), %rax
movq %rax, 0x128(%rsp)
movq 0x130(%rsp), %rdi
movq 0x128(%rsp), %rsi
callq 0x131b0
movq %rax, 0x230(%rsp)
jmp 0xf7d3
movq 0x228(%rsp), %rax
movq %rax, 0x120(%rsp)
movq 0x228(%rsp), %rax
movq 0x30(%rax), %rax
movq 0x8(%rax), %rdi
callq 0x45f0
cmpl $0x0, %eax
je 0xee92
movq 0x228(%rsp), %rax
movq 0xb0(%rax), %rax
movq %rax, 0x118(%rsp)
jmp 0xeea9
movq 0x228(%rsp), %rax
movq 0xd0(%rax), %rax
movq %rax, 0x118(%rsp)
movq 0x120(%rsp), %rdi
movq 0x118(%rsp), %rsi
callq 0x131b0
movq %rax, 0x230(%rsp)
jmp 0xf7d3
movq 0x228(%rsp), %rax
movq %rax, 0x110(%rsp)
movq 0x228(%rsp), %rax
movq 0x30(%rax), %rax
movq 0x8(%rax), %rdi
callq 0x4510
movl %eax, %edi
callq 0x15d40
cmpl $0x0, %eax
je 0xef15
movq 0x228(%rsp), %rax
movq 0xb0(%rax), %rax
movq %rax, 0x108(%rsp)
jmp 0xef2c
movq 0x228(%rsp), %rax
movq 0xd0(%rax), %rax
movq %rax, 0x108(%rsp)
movq 0x110(%rsp), %rdi
movq 0x108(%rsp), %rsi
callq 0x131b0
movq %rax, 0x230(%rsp)
jmp 0xf7d3
movq 0x228(%rsp), %rax
movq %rax, 0x100(%rsp)
movq 0x228(%rsp), %rax
movq 0x30(%rax), %rax
movq 0x8(%rax), %rdi
callq 0x4510
movl %eax, %edi
callq 0x15d90
cmpl $0x0, %eax
je 0xef98
movq 0x228(%rsp), %rax
movq 0xb0(%rax), %rax
movq %rax, 0xf8(%rsp)
jmp 0xefaf
movq 0x228(%rsp), %rax
movq 0xd0(%rax), %rax
movq %rax, 0xf8(%rsp)
movq 0x100(%rsp), %rdi
movq 0xf8(%rsp), %rsi
callq 0x131b0
movq %rax, 0x230(%rsp)
jmp 0xf7d3
movq 0x228(%rsp), %rax
movq %rax, 0xf0(%rsp)
movq 0x228(%rsp), %rax
movq 0x30(%rax), %rax
movq 0x8(%rax), %rdi
callq 0x4510
movl %eax, %edi
callq 0x15de0
cmpl $0x0, %eax
je 0xf01b
movq 0x228(%rsp), %rax
movq 0xb0(%rax), %rax
movq %rax, 0xe8(%rsp)
jmp 0xf032
movq 0x228(%rsp), %rax
movq 0xd0(%rax), %rax
movq %rax, 0xe8(%rsp)
movq 0xf0(%rsp), %rdi
movq 0xe8(%rsp), %rsi
callq 0x131b0
movq %rax, 0x230(%rsp)
jmp 0xf7d3
movq 0x228(%rsp), %rax
movq %rax, 0xe0(%rsp)
movq 0x228(%rsp), %rax
movq 0x30(%rax), %rax
movq 0x8(%rax), %rdi
callq 0x4510
movl %eax, %edi
callq 0x15e30
cmpl $0x0, %eax
je 0xf09e
movq 0x228(%rsp), %rax
movq 0xb0(%rax), %rax
movq %rax, 0xd8(%rsp)
jmp 0xf0b5
movq 0x228(%rsp), %rax
movq 0xd0(%rax), %rax
movq %rax, 0xd8(%rsp)
movq 0xe0(%rsp), %rdi
movq 0xd8(%rsp), %rsi
callq 0x131b0
movq %rax, 0x230(%rsp)
jmp 0xf7d3
movq 0x228(%rsp), %rax
movq %rax, 0xd0(%rsp)
movq 0x228(%rsp), %rax
movq 0x30(%rax), %rax
movq 0x8(%rax), %rdi
callq 0x4510
movl %eax, %edi
callq 0x15e80
cmpl $0x0, %eax
je 0xf121
movq 0x228(%rsp), %rax
movq 0xb0(%rax), %rax
movq %rax, 0xc8(%rsp)
jmp 0xf138
movq 0x228(%rsp), %rax
movq 0xd0(%rax), %rax
movq %rax, 0xc8(%rsp)
movq 0xd0(%rsp), %rdi
movq 0xc8(%rsp), %rsi
callq 0x131b0
movq %rax, 0x230(%rsp)
jmp 0xf7d3
movq 0x228(%rsp), %rax
movq %rax, 0xc0(%rsp)
movq 0x228(%rsp), %rax
movq 0x30(%rax), %rax
movq 0x8(%rax), %rdi
callq 0x4650
cmpl $0x0, %eax
je 0xf19d
movq 0x228(%rsp), %rax
movq 0xb0(%rax), %rax
movq %rax, 0xb8(%rsp)
jmp 0xf1b4
movq 0x228(%rsp), %rax
movq 0xd0(%rax), %rax
movq %rax, 0xb8(%rsp)
movq 0xc0(%rsp), %rdi
movq 0xb8(%rsp), %rsi
callq 0x131b0
movq %rax, 0x230(%rsp)
jmp 0xf7d3
movq 0x228(%rsp), %rax
movq %rax, 0xb0(%rsp)
movq 0x228(%rsp), %rax
movq 0x30(%rax), %rax
movq 0x8(%rax), %rdi
callq 0x4670
cmpl $0x0, %eax
je 0xf219
movq 0x228(%rsp), %rax
movq 0xb0(%rax), %rax
movq %rax, 0xa8(%rsp)
jmp 0xf230
movq 0x228(%rsp), %rax
movq 0xd0(%rax), %rax
movq %rax, 0xa8(%rsp)
movq 0xb0(%rsp), %rdi
movq 0xa8(%rsp), %rsi
callq 0x131b0
movq %rax, 0x230(%rsp)
jmp 0xf7d3
movq 0x228(%rsp), %rax
movq %rax, 0xa0(%rsp)
movq 0x228(%rsp), %rax
movq 0x30(%rax), %rax
movq 0x8(%rax), %rdi
callq 0x46c0
cmpl $0x0, %eax
je 0xf295
movq 0x228(%rsp), %rax
movq 0xb0(%rax), %rax
movq %rax, 0x98(%rsp)
jmp 0xf2ac
movq 0x228(%rsp), %rax
movq 0xd0(%rax), %rax
movq %rax, 0x98(%rsp)
movq 0xa0(%rsp), %rdi
movq 0x98(%rsp), %rsi
callq 0x131b0
movq %rax, 0x230(%rsp)
jmp 0xf7d3
movq 0x228(%rsp), %rax
movq %rax, 0x90(%rsp)
movq 0x228(%rsp), %rax
movq 0x30(%rax), %rax
movq 0x8(%rax), %rdi
callq 0x47f0
cmpl $0x0, %eax
jne 0xf346
movq 0x228(%rsp), %rax
movq 0x30(%rax), %rax
movq 0x8(%rax), %rdi
callq 0x4850
cmpl $0x0, %eax
jne 0xf346
movq 0x228(%rsp), %rax
movq 0x30(%rax), %rax
movq 0x8(%rax), %rdi
callq 0x48b0
cmpl $0x0, %eax
jne 0xf346
movq 0x228(%rsp), %rax
movq 0x30(%rax), %rax
movq 0x8(%rax), %rdi
callq 0x4810
cmpl $0x0, %eax
je 0xf35f
movq 0x228(%rsp), %rax
movq 0xb0(%rax), %rax
movq %rax, 0x88(%rsp)
jmp 0xf376
movq 0x228(%rsp), %rax
movq 0xd0(%rax), %rax
movq %rax, 0x88(%rsp)
movq 0x90(%rsp), %rdi
movq 0x88(%rsp), %rsi
callq 0x131b0
movq %rax, 0x230(%rsp)
jmp 0xf7d3
movq 0x228(%rsp), %rax
movq %rax, 0x80(%rsp)
movq 0x228(%rsp), %rax
movq 0x30(%rax), %rax
movq 0x8(%rax), %rdi
callq 0x4710
cmpl $0x0, %eax
je 0xf3d8
movq 0x228(%rsp), %rax
movq 0xb0(%rax), %rax
movq %rax, 0x78(%rsp)
jmp 0xf3ec
movq 0x228(%rsp), %rax
movq 0xd0(%rax), %rax
movq %rax, 0x78(%rsp)
movq 0x80(%rsp), %rdi
movq 0x78(%rsp), %rsi
callq 0x131b0
movq %rax, 0x230(%rsp)
jmp 0xf7d3
movq 0x228(%rsp), %rax
movq %rax, 0x70(%rsp)
movq 0x228(%rsp), %rdi
movq 0x228(%rsp), %rax
movq 0x30(%rax), %rax
movq 0x8(%rax), %rsi
callq 0x5840
cmpl $0x0, %eax
jl 0xf450
movq 0x228(%rsp), %rax
movq 0xb0(%rax), %rax
movq %rax, 0x68(%rsp)
jmp 0xf464
movq 0x228(%rsp), %rax
movq 0xd0(%rax), %rax
movq %rax, 0x68(%rsp)
movq 0x70(%rsp), %rdi
movq 0x68(%rsp), %rsi
callq 0x131b0
movq %rax, 0x230(%rsp)
jmp 0xf7d3
movq 0x228(%rsp), %rax
movq %rax, 0x60(%rsp)
movq 0x228(%rsp), %rax
movq 0x30(%rax), %rax
movq 0x8(%rax), %rdi
callq 0x48f0
cmpl $0x0, %eax
je 0xf4bd
movq 0x228(%rsp), %rax
movq 0xb0(%rax), %rax
movq %rax, 0x58(%rsp)
jmp 0xf4d1
movq 0x228(%rsp), %rax
movq 0xd0(%rax), %rax
movq %rax, 0x58(%rsp)
movq 0x60(%rsp), %rdi
movq 0x58(%rsp), %rsi
callq 0x131b0
movq %rax, 0x230(%rsp)
jmp 0xf7d3
movq 0x228(%rsp), %rax
movq %rax, 0x50(%rsp)
movq 0x228(%rsp), %rax
movq 0x30(%rax), %rax
movq 0x8(%rax), %rdi
callq 0x4420
cmpl $0x0, %eax
je 0xf52a
movq 0x228(%rsp), %rax
movq 0xb0(%rax), %rax
movq %rax, 0x48(%rsp)
jmp 0xf53e
movq 0x228(%rsp), %rax
movq 0xd0(%rax), %rax
movq %rax, 0x48(%rsp)
movq 0x50(%rsp), %rdi
movq 0x48(%rsp), %rsi
callq 0x131b0
movq %rax, 0x230(%rsp)
jmp 0xf7d3
movq 0x228(%rsp), %rax
movq %rax, 0x40(%rsp)
movq 0x228(%rsp), %rax
movq 0x30(%rax), %rax
movq 0x8(%rax), %rdi
callq 0x4440
cmpl $0x0, %eax
je 0xf597
movq 0x228(%rsp), %rax
movq 0xb0(%rax), %rax
movq %rax, 0x38(%rsp)
jmp 0xf5ab
movq 0x228(%rsp), %rax
movq 0xd0(%rax), %rax
movq %rax, 0x38(%rsp)
movq 0x40(%rsp), %rdi
movq 0x38(%rsp), %rsi
callq 0x131b0
movq %rax, 0x230(%rsp)
jmp 0xf7d3
movq 0x228(%rsp), %rax
movq %rax, 0x30(%rsp)
movq 0x228(%rsp), %rax
movq 0x30(%rax), %rax
movq 0x8(%rax), %rax
movq 0x228(%rsp), %rcx
movq 0x30(%rcx), %rcx
movq 0x10(%rcx), %rcx
cmpq 0x8(%rcx), %rax
jne 0xf610
movq 0x228(%rsp), %rax
movq 0xb0(%rax), %rax
movq %rax, 0x28(%rsp)
jmp 0xf624
movq 0x228(%rsp), %rax
movq 0xd0(%rax), %rax
movq %rax, 0x28(%rsp)
movq 0x30(%rsp), %rdi
movq 0x28(%rsp), %rsi
callq 0x131b0
movq %rax, 0x230(%rsp)
jmp 0xf7d3
movq 0x228(%rsp), %rax
movq %rax, 0x20(%rsp)
movq 0x228(%rsp), %rax
movq 0x30(%rax), %rax
movq 0x8(%rax), %rdi
movq 0x228(%rsp), %rax
movq 0x30(%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rsi
callq 0x5540
cmpl $0x0, %eax
je 0xf691
movq 0x228(%rsp), %rax
movq 0xb0(%rax), %rax
movq %rax, 0x18(%rsp)
jmp 0xf6a5
movq 0x228(%rsp), %rax
movq 0xd0(%rax), %rax
movq %rax, 0x18(%rsp)
movq 0x20(%rsp), %rdi
movq 0x18(%rsp), %rsi
callq 0x131b0
movq %rax, 0x230(%rsp)
jmp 0xf7d3
movb $0x0, 0x208(%rsp)
xorl %eax, %eax
movl %eax, %edi
callq 0x41c0
cvtsi2sd %rax, %xmm0
movsd %xmm0, 0x210(%rsp)
movq 0x228(%rsp), %rax
movq %rax, 0x10(%rsp)
movq 0x228(%rsp), %rdi
movb 0x208(%rsp), %al
movq 0x210(%rsp), %rdx
movzbl %al, %esi
callq 0x14000
movq 0x10(%rsp), %rdi
movq %rax, %rsi
callq 0x131b0
movq %rax, 0x230(%rsp)
jmp 0xf7d3
movb $0x1, 0x208(%rsp)
movq 0xd343(%rip), %rax      # 0x1ca78
movq %rax, 0x210(%rsp)
movq 0x228(%rsp), %rax
movq %rax, 0x8(%rsp)
movq 0x228(%rsp), %rdi
movb 0x208(%rsp), %al
movq 0x210(%rsp), %rdx
movzbl %al, %esi
callq 0x14000
movq 0x8(%rsp), %rdi
movq %rax, %rsi
callq 0x131b0
movq %rax, 0x230(%rsp)
jmp 0xf7d3
movq 0x228(%rsp), %rax
movq 0xea0(%rax), %rdi
movq 0x228(%rsp), %rax
movl 0xec8(%rax), %edx
leaq 0x8834(%rip), %rsi      # 0x17fd8
movb $0x0, %al
callq 0x4280
movq 0x228(%rsp), %rdi
movq 0x228(%rsp), %rax
movq 0xea0(%rax), %rsi
xorl %eax, %eax
movl %eax, %edx
callq 0x12ce0
movq %rax, 0x230(%rsp)
movq 0x230(%rsp), %rax
addq $0x238, %rsp            # imm = 0x238
retq
nopw %cs:(%rax,%rax)