// File: /workspace/github_cpp_makefile_star2_O3/jkingan[P]ladyheather/heathgps.cpp
// Function: show_survey_info()
void show_survey_info()
{
int color;
int x72_color;
double x;

   // NEW_RCVR

   if(luxor) return;
   if(rcvr_type == LPFRS_RCVR) ;
   else if(rcvr_type == PRS_RCVR) ;
   else if(rcvr_type == SA35_RCVR) ;
   else if(rcvr_type == SRO_RCVR) ;
   else if(rcvr_type == X72_RCVR) ;
   else if(NO_SATS) return;

   if(minor_alarms & MINOR_SURVEY) {   // self survey is active
      vidstr(SURVEY_ROW+0+eofs, SURVEY_COL, RED,    "Self Survey:  ");
      color = YELLOW;
   }
   else if(precision_survey) { 
      vidstr(SURVEY_ROW+0+eofs, SURVEY_COL, RED,    "Median Survey:");
      color = YELLOW;
   }
   else if(1 && (rcvr_type == TRUE_RCVR) && have_true_scale) {
      x = true_scalefactor * 1000.0;
      color = WHITE;
      if(x < 0.0F)       sprintf(out, "OSC:%.3f Hz/V ", x);
      else if(x > 10.0F) sprintf(out, "OSC:%.3f Hz/V ", x);
      else               sprintf(out, "OSC: %.3f Hz/V ", x);
      vidstr(SURVEY_ROW+1+eofs, SURVEY_COL, color, out);
      return;
   }
   else if(NO_SURVEY_INFO) {  // no survey status / discipline params to show
   }
   else {  // not in survey mode,  grey out this info on the screen
      if(TIMING_RCVR || (rcvr_type == SCPI_RCVR) || (rcvr_type == UCCM_RCVR) || (rcvr_type == ZYFER_RCVR)) {  // show survey info
         color = GREY;
         vidstr(SURVEY_ROW+0+eofs, SURVEY_COL, color,  "Survey data:  ");
      }
      else if(lte_lite && (have_sawtooth == 0)) {
      }
      else if(rcvr_type == BRANDY_RCVR) ;
      else if(rcvr_type == PRS_RCVR) { 
        if(have_prs_ga) color = WHITE;
        else            color = GREY; 
        sprintf(out, "GAin: %d", prs_ga);
        vidstr(SURVEY_ROW+0+eofs, SURVEY_COL, color, out);

        if(have_prs_pt) color = WHITE;
        else            color = GREY; 
        sprintf(out, "PT:   %d", prs_pt);
        vidstr(SURVEY_ROW+1+eofs, SURVEY_COL, color, out);

        if(have_prs_pf) color = WHITE;
        else            color = GREY; 
        sprintf(out, "PF:   %d", prs_pf);
        vidstr(SURVEY_ROW+2+eofs, SURVEY_COL, color, out);

        if(have_prs_pi) color = WHITE;
        else            color = GREY; 
        sprintf(out, "PI:   %d", prs_pi);
        vidstr(SURVEY_ROW+3+eofs, SURVEY_COL, color, out);

        return;
      }
      else if(rcvr_type == SRO_RCVR) {  // !!!!!SRO
         color = WHITE;
         sprintf(out, "TC:%6d sec", sro_tc);
         vidstr(SURVEY_ROW+0+eofs, SURVEY_COL, color, out);
      }
      else if(rcvr_type == TM4_RCVR) {
      }
      else if(rcvr_type == X72_RCVR) {
         if(x72_fw_discipline()) x72_color = WHITE;
         else if(x72_user_dis)   x72_color = WHITE;
         else                    x72_color = GREY;

         if(have_x72_tc) color = x72_color;
         else            color = GREY; 
         sprintf(out, "TC:%6d sec", x72_tc_val);
         vidstr(SURVEY_ROW+0+eofs, SURVEY_COL, color, out);

         if(x72_fw_discipline() == 0) color = GREY;
         else if(have_x72_damping)    color = x72_color;
         else                         color = GREY; 
         sprintf(out, "DAMP: %.3f", x72_damping_val);
         vidstr(SURVEY_ROW+1+eofs, SURVEY_COL, color, out);

         if(x72_fw_discipline())     color = GREY;
         else if(have_x72_jamthresh) color = x72_color;
         else                        color = GREY; 
         sprintf(out, "JAM:%5d ns", (int) x72_jamthresh_val);
         vidstr(SURVEY_ROW+2+eofs, SURVEY_COL, color, out);

         if(x72_fw_discipline())    color = GREY;
         else if(have_x72_holdover) color = x72_color;
         else                       color = GREY; 
color = GREY;  // we no longer do the holdover state
         sprintf(out, "HOLD:%4d sec", (int) x72_holdover_val);
         vidstr(SURVEY_ROW+3+eofs, SURVEY_COL, color, out);

         return;
      }
      else {   // show osc info
        if(have_tc) color = WHITE;
        else        color = GREY; 
        sprintf(out, "TC:   %.1f sec", time_constant);
        vidstr(SURVEY_ROW+0+eofs, SURVEY_COL, color, out);

        if(have_damp) color = WHITE;
        else          color = GREY; 
        sprintf(out, "DAMP: %.3f", damping_factor);
        vidstr(SURVEY_ROW+1+eofs, SURVEY_COL, color, out);

        if(gain_color == YELLOW) color = gain_color;
        else if(have_gain) color = WHITE;
        else color = GREY; 
        if(osc_gain < 0.0F)       sprintf(out, "GAIN:%.3f Hz/V ", osc_gain);
        else if(osc_gain > 10.0F) sprintf(out, "GAIN:%.3f Hz/V ", osc_gain);
        else                      sprintf(out, "GAIN: %.3f Hz/V ", osc_gain);
        vidstr(SURVEY_ROW+2+eofs, SURVEY_COL, color, out);

        if(have_initv) color = WHITE;
        else           color = GREY; 
        sprintf(out, "INIT: %.3f V", initial_voltage);
        if(saw_ntpx) vidstr(SURVEY_ROW+3+eofs, SURVEY_COL, GREY,  out);
        else         vidstr(SURVEY_ROW+3+eofs, SURVEY_COL, color, out);

        return;
      }
   }

   if((survey_length >= 0) && (survey_length <= 100000L)) {
      if(precision_survey)            sprintf(out, "Points:%6lu", (unsigned long) precision_samples);  
      else if(rcvr_type == TSIP_RCVR) sprintf(out, "Samples:%5d", survey_length);
      else if(rcvr_type == ZODIAC_RCVR) {
         if(survey_length < 10) sprintf(out, "%d hour%s      ", survey_length, (survey_length==1)?" ":"s");
         else                   sprintf(out, "%d hour%s     ", survey_length, (survey_length==1)?" ":"s");
      }
      else if(minor_alarms & MINOR_SURVEY) sprintf(out, "In progress  ");
      else                                 sprintf(out, "             ");
      vidstr(SURVEY_ROW+1+eofs, SURVEY_COL, color, out);

      if((rcvr_type == ESIP_RCVR) && (minor_alarms & MINOR_SURVEY)) {
         sprintf(out, "Left: %-6d ", survey_secs);
         vidstr(SURVEY_ROW+2+eofs, SURVEY_COL, color, out);
      }
      else if((rcvr_type == FURUNO_RCVR) && (minor_alarms & MINOR_SURVEY)) {
         sprintf(out, "Left: %-6d ", survey_secs);
         vidstr(SURVEY_ROW+2+eofs, SURVEY_COL, color, out);
      }
      else if((rcvr_type == TRUE_RCVR) && (minor_alarms & MINOR_SURVEY)) {
         sprintf(out, "Left: %-6d ", survey_secs);
         vidstr(SURVEY_ROW+2+eofs, SURVEY_COL, color, out);
      }
   }

   if(precision_survey) {
      if(PRECISE_SURVEY_HOURS) {
         sprintf(out, "Progress:%3ld%%", (survey_minutes*99L)/((long)PRECISE_SURVEY_HOURS*60L)+1L);
      }
      else sprintf(out, "             ");
      vidstr(SURVEY_ROW+2+eofs, SURVEY_COL, color, out);
   }
   else if((rcvr_type == UCCM_RCVR) && (scpi_type == SAMSUNG_TYPE)) {
      if(have_progress) sprintf(out, "VAR: %-4d", survey_progress);
      else              sprintf(out, "             ");
      vidstr(SURVEY_ROW+2+eofs, SURVEY_COL, color, out);
   }
   else if((survey_progress > 0) && (survey_progress <= 100)) {
      if(SURVEY_PROGRESS) sprintf(out, "Progress:%3d%%", survey_progress);
      else                sprintf(out, "             ");
      vidstr(SURVEY_ROW+2+eofs, SURVEY_COL, color, out);

      if(rcvr_type == UBX_RCVR)  {
         sprintf(out, "VAR: %-9d", ubx_svar);
         vidstr(SURVEY_ROW+3+eofs, SURVEY_COL, color, out);
      }
   }

   if(precision_survey || check_precise_posn || precise_survey_done) {
   }
   else if(rcvr_type == TSIP_RCVR) {
      if(survey_save) vidstr(SURVEY_ROW+3+eofs, SURVEY_COL, color, "Save position");
      else            vidstr(SURVEY_ROW+3+eofs, SURVEY_COL, color, "Dont save pos");
   }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
leaq 0x18434a(%rip), %rax    # 0x23ef3e
cmpb $0x0, (%rax)
je 0xbac08
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x15dcc1(%rip), %r15    # 0x2188d0
movq (%r15), %rax
cmpq $0x7ffffff, %rax        # imm = 0x7FFFFFF
jle 0xbac3e
cmpq $0x8000000, %rax        # imm = 0x8000000
je 0xbac52
cmpq $0x10000000, %rax       # imm = 0x10000000
je 0xbac52
movabsq $0x1000000000, %rcx     # imm = 0x1000000000
cmpq %rcx, %rax
je 0xbac52
jmp 0xbae9c
cmpq $0x1000000, %rax        # imm = 0x1000000
je 0xbac52
cmpq $0x2000000, %rax        # imm = 0x2000000
jne 0xbae9c
leaq 0x25257f(%rip), %r14    # 0x30d1d8
testb $0x20, (%r14)
jne 0xbac84
leaq 0x253232(%rip), %rcx    # 0x30de98
cmpb $0x0, (%rcx)
je 0xbaeec
leaq 0x1842ca(%rip), %rax    # 0x23ef40
movl (%rax), %edi
addl $0x6, %edi
leaq 0x6d990(%rip), %rcx     # 0x128612
jmp 0xbac97
leaq 0x1842b5(%rip), %rax    # 0x23ef40
movl (%rax), %edi
addl $0x6, %edi
leaq 0x6d96c(%rip), %rcx     # 0x128603
movl $0x16, %esi
movl $0xc, %edx
callq 0xe787
movb $0xe, %cl
leaq 0x2531c1(%rip), %rax    # 0x30de70
movl (%rax), %edx
movzbl %cl, %ebx
cmpl $0x186a0, %edx          # imm = 0x186A0
ja 0xbad69
leaq 0x2531d1(%rip), %rax    # 0x30de98
cmpb $0x0, (%rax)
je 0xbafa7
leaq 0x28060d(%rip), %rax    # 0x33b2e4
movl (%rax), %edx
leaq 0x281540(%rip), %rdi    # 0x33c220
leaq 0x6d9f7(%rip), %rsi     # 0x1286de
xorl %eax, %eax
callq 0x9060
leaq 0x18424b(%rip), %r12    # 0x23ef40
movl (%r12), %edi
addl $0x7, %edi
leaq 0x28151d(%rip), %rcx    # 0x33c220
movl $0x16, %esi
movl %ebx, %edx
callq 0xe787
movq (%r15), %rax
cmpq $0x200000, %rax         # imm = 0x200000
je 0xbad2c
cmpq $0x20000000, %rax       # imm = 0x20000000
je 0xbad2c
movl $0x80000000, %ecx       # imm = 0x80000000
cmpq %rcx, %rax
jne 0xbad69
testb $0x20, (%r14)
je 0xbad69
leaq 0x25315b(%rip), %rax    # 0x30de94
movl (%rax), %edx
leaq 0x2814de(%rip), %r14    # 0x33c220
leaq 0x6d9da(%rip), %rsi     # 0x128723
movq %r14, %rdi
xorl %eax, %eax
callq 0x9060
movl (%r12), %edi
addl $0x8, %edi
movl $0x16, %esi
movl %ebx, %edx
movq %r14, %rcx
callq 0xe787
leaq 0x253128(%rip), %r14    # 0x30de98
cmpb $0x0, (%r14)
je 0xbadb4
leaq 0x2530fb(%rip), %rax    # 0x30de78
movq (%rax), %rcx
testq %rcx, %rcx
je 0xbadfd
leaq 0x25311c(%rip), %rax    # 0x30dea8
imulq $0x63, (%rax), %rax
imulq $0x3c, %rcx, %rcx
cqto
idivq %rcx
leaq 0x1(%rax), %rdx
leaq 0x28147c(%rip), %rdi    # 0x33c220
leaq 0x6d984(%rip), %rsi     # 0x12872f
xorl %eax, %eax
callq 0x9060
jmp 0xbae1f
movq (%r15), %rax
cmpq $0x8, %rax
jne 0xbaf6d
leaq 0x160218(%rip), %rcx    # 0x21afe0
cmpl $0x53, (%rcx)
jne 0xbaf6d
leaq 0x2530b8(%rip), %rax    # 0x30de90
cmpl $0x0, (%rax)
je 0xbadfd
leaq 0x2530a8(%rip), %rax    # 0x30de8c
movl (%rax), %edx
leaq 0x281433(%rip), %rdi    # 0x33c220
leaq 0x6d94b(%rip), %rsi     # 0x12873f
xorl %eax, %eax
callq 0x9060
jmp 0xbae1f
leaq 0x28141c(%rip), %rax    # 0x33c220
movabsq $0x20202020202020, %rcx # imm = 0x20202020202020
movq %rcx, 0x6(%rax)
movabsq $0x2020202020202020, %rcx # imm = 0x2020202020202020
movq %rcx, (%rax)
movl $0x8, %edi
leaq 0x184115(%rip), %rax    # 0x23ef40
addl (%rax), %edi
leaq 0x2813ec(%rip), %rcx    # 0x33c220
movl $0x16, %esi
movl %ebx, %edx
callq 0xe787
cmpb $0x0, (%r14)
jne 0xbabf9
leaq 0x28048f(%rip), %rax    # 0x33b2e0
cmpb $0x0, (%rax)
jne 0xbabf9
leaq 0x253039(%rip), %rax    # 0x30de9a
cmpb $0x0, (%rax)
jne 0xbabf9
cmpq $0x1, (%r15)
jne 0xbabf9
leaq 0x252ff9(%rip), %rax    # 0x30de74
leaq 0x1840be(%rip), %rcx    # 0x23ef40
movl (%rcx), %edi
addl $0x9, %edi
cmpb $0x0, (%rax)
je 0xbafda
leaq 0x6d8cb(%rip), %rcx     # 0x128762
jmp 0xbafe1
movabsq $0x105b8b0400, %rcx     # imm = 0x105B8B0400
testq %rcx, %rax
jne 0xbabf9
leaq 0x16011a(%rip), %rcx    # 0x21afd0
cmpl $0x0, (%rcx)
je 0xbaecb
leaq 0x252502(%rip), %rcx    # 0x30d3c4
cmpl $0x0, (%rcx)
je 0xbabf9
cmpq $0x400000, %rax         # imm = 0x400000
jne 0xbac52
leaq 0x252ad6(%rip), %rcx    # 0x30d9b4
cmpl $0x0, (%rcx)
je 0xbabf9
jmp 0xbac52
cmpq $0x200000, %rax         # imm = 0x200000
jne 0xbaffb
leaq 0x282481(%rip), %rcx    # 0x33d380
cmpl $0x0, (%rcx)
je 0xbaffb
leaq 0x282469(%rip), %rax    # 0x33d378
movsd (%rax), %xmm0
mulsd 0x4e11d(%rip), %xmm0    # 0x109038
ucomisd 0x4e185(%rip), %xmm0    # 0x1090a8
leaq 0x6d6f7(%rip), %rax     # 0x128621
leaq 0x6d6ff(%rip), %rsi     # 0x128630
cmovaq %rax, %rsi
xorpd %xmm1, %xmm1
ucomisd %xmm0, %xmm1
cmovaq %rax, %rsi
leaq 0x2812d8(%rip), %rbx    # 0x33c220
movq %rbx, %rdi
movb $0x1, %al
callq 0x9060
leaq 0x183fe7(%rip), %rax    # 0x23ef40
movl (%rax), %edi
addl $0x7, %edi
movl $0x16, %esi
movl $0xf, %edx
movq %rbx, %rcx
jmp 0xbafe8
leaq 0x252f18(%rip), %rcx    # 0x30de8c
movl (%rcx), %edx
leal -0x1(%rdx), %ecx
cmpl $0x63, %ecx
ja 0xbae40
testl $0x34009d, %eax         # imm = 0x34009D
je 0xbb0ce
leaq 0x28128c(%rip), %rdi    # 0x33c220
leaq 0x6d7ae(%rip), %rsi     # 0x128749
xorl %eax, %eax
callq 0x9060
jmp 0xbb0f0
movq (%r15), %rax
cmpq $0x100, %rax            # imm = 0x100
je 0xbb06f
cmpq $0x1, %rax
jne 0xbb0a0
leaq 0x281259(%rip), %rdi    # 0x33c220
leaq 0x6d71c(%rip), %rsi     # 0x1286ea
xorl %eax, %eax
callq 0x9060
jmp 0xbacee
leaq 0x6d78f(%rip), %rcx     # 0x128770
movl $0x16, %esi
movl %ebx, %edx
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0xe787
movabsq $0x340690242, %rdx      # imm = 0x340690242
testq %rdx, %rax
jne 0xbaca8
leaq 0x15d8ef(%rip), %rcx    # 0x218904
cmpb $0x0, (%rcx)
jne 0xbb046
leaq 0x15ffb3(%rip), %rcx    # 0x21afd4
movl (%rcx), %ecx
cmpq $0x1, %rax
jne 0xbb186
cmpl $0x41, %ecx
jne 0xbb186
leaq 0x15d8bb(%rip), %rdx    # 0x2188f8
cmpl $0x47, (%rdx)
jne 0xbb186
leaq 0x183ef3(%rip), %rax    # 0x23ef40
movl (%rax), %edi
addl $0x6, %edi
leaq 0x6d5e7(%rip), %rcx     # 0x128640
movl $0x16, %esi
movl $0x8, %edx
callq 0xe787
movb $0x8, %cl
jmp 0xbaca8
cmpl $0x9, %edx
ja 0xbb13e
cmpl $0x1, %edx
leaq 0x67ad2(%rip), %rax     # 0x122b54
leaq 0x5c512(%rip), %rcx     # 0x11759b
cmoveq %rax, %rcx
leaq 0x28118c(%rip), %rdi    # 0x33c220
leaq 0x6d65b(%rip), %rsi     # 0x1286f6
jmp 0xbb153
testb $0x20, (%r14)
jne 0xbb15f
leaq 0x28116f(%rip), %rax    # 0x33c220
movabsq $0x20202020202020, %rcx # imm = 0x20202020202020
movq %rcx, 0x6(%rax)
movabsq $0x2020202020202020, %rcx # imm = 0x2020202020202020
jmp 0xbb17e
leaq 0x28114b(%rip), %rax    # 0x33c220
movabsq $0x20202020202020, %rcx # imm = 0x20202020202020
movq %rcx, 0x6(%rax)
movabsq $0x2020202020202020, %rcx # imm = 0x2020202020202020
movq %rcx, (%rax)
leaq 0x183e49(%rip), %rax    # 0x23ef40
movl (%rax), %edi
addl $0x8, %edi
leaq 0x28111d(%rip), %rcx    # 0x33c220
movl $0x16, %esi
movl %ebx, %edx
callq 0xe787
cmpq $0x4, (%r15)
jne 0xbae40
movl 0x2b1991(%rip), %edx    # 0x36cab0
leaq 0x2810fa(%rip), %rdi    # 0x33c220
leaq 0x6d62b(%rip), %rsi     # 0x128758
xorl %eax, %eax
callq 0x9060
movl $0x9, %edi
jmp 0xbae24
leaq 0x2810db(%rip), %rdi    # 0x33c220
leaq 0x6d5ba(%rip), %rsi     # 0x128706
leaq 0x5c448(%rip), %rcx     # 0x11759b
xorl %eax, %eax
callq 0x9060
jmp 0xbacee
leaq 0x2810ba(%rip), %rax    # 0x33c220
movabsq $0x20207373657267, %rcx # imm = 0x20207373657267
movq %rcx, 0x6(%rax)
movabsq $0x72676f7270206e49, %rcx # imm = 0x72676F7270206E49
movq %rcx, (%rax)
jmp 0xbacee
cmpl $0x41, %ecx
sete %dl
cmpq $0x1, %rax
sete %sil
cmpl $0x50, %ecx
sete %cl
testl $0x800009a4, %eax       # imm = 0x800009A4
jne 0xbb046
orb %cl, %dl
andb %dl, %sil
jne 0xbb046
cmpq $0x8, %rax
je 0xbb046
cmpq $0x100000, %rax         # imm = 0x100000
je 0xbb046
cmpq $0x10, %rax
je 0xbb046
leaq 0x15fdf9(%rip), %rcx    # 0x21afd0
cmpl $0x0, (%rcx)
setne %dl
leaq 0x2521e0(%rip), %rcx    # 0x30d3c4
cmpl $0x0, (%rcx)
sete %sil
cmpq $0x40000, %rax          # imm = 0x40000
je 0xbaca8
andb %sil, %dl
jne 0xbaca8
cmpq $0x7ffffff, %rax        # imm = 0x7FFFFFF
jg 0xbb35d
cmpq $0x1000000, %rax        # imm = 0x1000000
je 0xbb4ed
cmpq $0x2000000, %rax        # imm = 0x2000000
jne 0xbb37c
callq 0x6cbe4
leaq 0x15fcc0(%rip), %rcx    # 0x21aef0
orl (%rcx), %eax
movl $0x8, %r13d
movl $0xf, %r14d
cmovel %r13d, %r14d
leaq 0x15fad7(%rip), %rax    # 0x21ad20
cmpl $0x0, (%rax)
movl %r14d, %r15d
cmovel %r13d, %r15d
leaq 0x15fbaa(%rip), %rax    # 0x21ae04
movl (%rax), %edx
leaq 0x280fbd(%rip), %rbx    # 0x33c220
leaq 0x6d409(%rip), %rsi     # 0x128673
movq %rbx, %rdi
xorl %eax, %eax
callq 0x9060
leaq 0x183cc5(%rip), %r12    # 0x23ef40
movl (%r12), %edi
addl $0x6, %edi
movl $0x16, %esi
movl %r15d, %edx
movq %rbx, %rcx
callq 0xe787
callq 0x6cbe4
leaq 0x15fa86(%rip), %rcx    # 0x21ad24
cmpl $0x0, (%rcx)
movl %r14d, %r15d
cmovel %r13d, %r15d
testl %eax, %eax
cmovel %r13d, %r15d
leaq 0x15fb63(%rip), %rax    # 0x21ae18
movsd (%rax), %xmm0
leaq 0x6d3be(%rip), %rsi     # 0x12867e
movq %rbx, %rdi
movb $0x1, %al
callq 0x9060
movl (%r12), %edi
addl $0x7, %edi
movl $0x16, %esi
movl %r15d, %edx
movq %rbx, %rcx
callq 0xe787
callq 0x6cbe4
leaq 0x15fa3b(%rip), %rcx    # 0x21ad28
cmpl $0x0, (%rcx)
cmovel %r13d, %r14d
testl %eax, %eax
cmovnel %r13d, %r14d
leaq 0x15fb1f(%rip), %rax    # 0x21ae20
cvttsd2si (%rax), %edx
leaq 0x6d37d(%rip), %rsi     # 0x128689
movq %rbx, %rdi
xorl %eax, %eax
callq 0x9060
movl (%r12), %edi
addl $0x8, %edi
movl $0x16, %esi
movl %r14d, %edx
movq %rbx, %rcx
callq 0xe787
leaq 0x15fad4(%rip), %rax    # 0x21ae08
movl (%rax), %edx
leaq 0x6d357(%rip), %rsi     # 0x128694
movq %rbx, %rdi
xorl %eax, %eax
callq 0x9060
movl (%r12), %edi
addl $0x9, %edi
movl $0x16, %esi
movl $0x8, %edx
jmp 0xbaf68
cmpq $0x8000000, %rax        # imm = 0x8000000
je 0xbb612
movabsq $0x400000000, %rdx      # imm = 0x400000000
cmpq %rdx, %rax
je 0xbaca8
leaq 0x251f6d(%rip), %rax    # 0x30d2f0
cmpl $0x0, (%rax)
leaq 0x251d63(%rip), %rax    # 0x30d0f0
movsd (%rax), %xmm0
leaq 0x6d309(%rip), %rsi     # 0x1286a1
leaq 0x280e81(%rip), %r14    # 0x33c220
movl $0x8, %r12d
movl $0xf, %ebx
movl $0xf, %r15d
cmovel %r12d, %r15d
movq %r14, %rdi
movb $0x1, %al
callq 0x9060
leaq 0x183b7b(%rip), %r13    # 0x23ef40
movl (%r13), %edi
addl $0x6, %edi
movl $0x16, %esi
movl %r15d, %edx
movq %r14, %rcx
callq 0xe787
leaq 0x251f11(%rip), %rax    # 0x30d2f4
cmpl $0x0, (%rax)
leaq 0x251d13(%rip), %rax    # 0x30d100
movsd (%rax), %xmm0
leaq 0x6d286(%rip), %rsi     # 0x12867e
movl $0xf, %r15d
cmovel %r12d, %r15d
movq %r14, %rdi
movb $0x1, %al
callq 0x9060
movl (%r13), %edi
addl $0x7, %edi
movl $0x16, %esi
movl %r15d, %edx
movq %r14, %rcx
callq 0xe787
leaq 0x251d3e(%rip), %rax    # 0x30d168
movl (%rax), %eax
leaq 0x251ec5(%rip), %rcx    # 0x30d2f8
cmpl $0x0, (%rcx)
movl $0xf, %r15d
cmovel %r12d, %r15d
cmpl $0xe, %eax
cmovel %eax, %r15d
leaq 0x251cba(%rip), %rax    # 0x30d108
movsd (%rax), %xmm0
ucomisd 0x4dc4e(%rip), %xmm0    # 0x1090a8
leaq 0x6d24f(%rip), %rax     # 0x1286b0
leaq 0x6d258(%rip), %rsi     # 0x1286c0
cmovaq %rax, %rsi
xorpd %xmm1, %xmm1
ucomisd %xmm0, %xmm1
cmovaq %rax, %rsi
movq %r14, %rdi
movb $0x1, %al
callq 0x9060
movl (%r13), %edi
addl $0x8, %edi
movzbl %r15b, %edx
movl $0x16, %esi
movq %r14, %rcx
callq 0xe787
leaq 0x251e5f(%rip), %rax    # 0x30d300
movl (%rax), %r15d
leaq 0x251ca5(%rip), %rax    # 0x30d150
movsd (%rax), %xmm0
leaq 0x6d21b(%rip), %rsi     # 0x1286d1
movq %r14, %rdi
movb $0x1, %al
callq 0x9060
leaq 0x183a75(%rip), %rax    # 0x23ef3c
cmpb $0x0, (%rax)
je 0xbb658
movl (%r13), %edi
addl $0x9, %edi
leaq 0x280d42(%rip), %rcx    # 0x33c220
movl $0x16, %esi
movl $0x8, %edx
jmp 0xbafe8
leaq 0x15f5b4(%rip), %rax    # 0x21aaa8
cmpl $0x0, (%rax)
leaq 0x15f63a(%rip), %rax    # 0x21ab38
movl (%rax), %edx
leaq 0x6d148(%rip), %rsi     # 0x12864f
leaq 0x280d12(%rip), %rbx    # 0x33c220
movl $0x8, %r12d
movl $0xf, %r14d
movl $0xf, %r15d
cmovel %r12d, %r15d
movq %rbx, %rdi
xorl %eax, %eax
callq 0x9060
leaq 0x183a0b(%rip), %r13    # 0x23ef40
movl (%r13), %edi
addl $0x6, %edi
movl $0x16, %esi
movl %r15d, %edx
movq %rbx, %rcx
callq 0xe787
leaq 0x15f581(%rip), %rax    # 0x21aad4
cmpl $0x0, (%rax)
leaq 0x15f60f(%rip), %rax    # 0x21ab6c
movl (%rax), %edx
leaq 0x6d0f2(%rip), %rsi     # 0x128658
movl $0xf, %r15d
cmovel %r12d, %r15d
movq %rbx, %rdi
xorl %eax, %eax
callq 0x9060
movl (%r13), %edi
addl $0x7, %edi
movl $0x16, %esi
movl %r15d, %edx
movq %rbx, %rcx
callq 0xe787
leaq 0x15f540(%rip), %rax    # 0x21aad8
cmpl $0x0, (%rax)
leaq 0x15f5ce(%rip), %rax    # 0x21ab70
movl (%rax), %edx
leaq 0x6d0b6(%rip), %rsi     # 0x128661
movl $0xf, %r15d
cmovel %r12d, %r15d
movq %rbx, %rdi
xorl %eax, %eax
callq 0x9060
movl (%r13), %edi
addl $0x8, %edi
movl $0x16, %esi
movl %r15d, %edx
movq %rbx, %rcx
callq 0xe787
leaq 0x15f4ff(%rip), %rax    # 0x21aadc
cmpl $0x0, (%rax)
leaq 0x15f58d(%rip), %rax    # 0x21ab74
movl (%rax), %edx
leaq 0x6d07a(%rip), %rsi     # 0x12866a
cmovel %r12d, %r14d
movq %rbx, %rdi
xorl %eax, %eax
callq 0x9060
movl (%r13), %edi
addl $0x9, %edi
movl $0x16, %esi
movl %r14d, %edx
jmp 0xbaf68
leaq 0x2525af(%rip), %rax    # 0x30dbc8
movl (%rax), %edx
leaq 0x280bfe(%rip), %rbx    # 0x33c220
leaq 0x6d04a(%rip), %rsi     # 0x128673
movq %rbx, %rdi
xorl %eax, %eax
callq 0x9060
leaq 0x183906(%rip), %rax    # 0x23ef40
movl (%rax), %edi
addl $0x6, %edi
movl $0x16, %esi
movl $0xf, %edx
movq %rbx, %rcx
callq 0xe787
movb $0xf, %cl
jmp 0xbaca8
movl (%r13), %edi
addl $0x9, %edi
testl %r15d, %r15d
cmovel %r12d, %ebx
leaq 0x280bb3(%rip), %rcx    # 0x33c220
jmp 0xbafe1