// File: DoubleString[P]RtConverter/src/Rtklib/rtcm3.cpp
// Function: bamboo::decode_type1019(bamboo::rtcm_t*)
static int decode_type1019(rtcm_t *rtcm)
{
    eph_t eph={0};
    double toc,sqrtA;
    char *msg;
    int i=24+12,prn,sat,week,sys=SYS_GPS;
    
    if (i+476<=rtcm->len*8) {
        prn       =getbitu(rtcm->buff,i, 6);              i+= 6;
        week      =getbitu(rtcm->buff,i,10);              i+=10;
        eph.sva   =getbitu(rtcm->buff,i, 4);              i+= 4;
        eph.code  =getbitu(rtcm->buff,i, 2);              i+= 2;
        eph.idot  =getbits(rtcm->buff,i,14)*P2_43*SC2RAD; i+=14;
        eph.iode  =getbitu(rtcm->buff,i, 8);              i+= 8;
        toc       =getbitu(rtcm->buff,i,16)*16.0;         i+=16;
        eph.f2    =getbits(rtcm->buff,i, 8)*P2_55;        i+= 8;
        eph.f1    =getbits(rtcm->buff,i,16)*P2_43;        i+=16;
        eph.f0    =getbits(rtcm->buff,i,22)*P2_31;        i+=22;
        eph.iodc  =getbitu(rtcm->buff,i,10);              i+=10;
        eph.crs   =getbits(rtcm->buff,i,16)*P2_5;         i+=16;
        eph.deln  =getbits(rtcm->buff,i,16)*P2_43*SC2RAD; i+=16;
        eph.M0    =getbits(rtcm->buff,i,32)*P2_31*SC2RAD; i+=32;
        eph.cuc   =getbits(rtcm->buff,i,16)*P2_29;        i+=16;
        eph.e     =getbitu(rtcm->buff,i,32)*P2_33;        i+=32;
        eph.cus   =getbits(rtcm->buff,i,16)*P2_29;        i+=16;
        sqrtA     =getbitu(rtcm->buff,i,32)*P2_19;        i+=32;
        eph.toes  =getbitu(rtcm->buff,i,16)*16.0;         i+=16;
        eph.cic   =getbits(rtcm->buff,i,16)*P2_29;        i+=16;
        eph.OMG0  =getbits(rtcm->buff,i,32)*P2_31*SC2RAD; i+=32;
        eph.cis   =getbits(rtcm->buff,i,16)*P2_29;        i+=16;
        eph.i0    =getbits(rtcm->buff,i,32)*P2_31*SC2RAD; i+=32;
        eph.crc   =getbits(rtcm->buff,i,16)*P2_5;         i+=16;
        eph.omg   =getbits(rtcm->buff,i,32)*P2_31*SC2RAD; i+=32;
        eph.OMGd  =getbits(rtcm->buff,i,24)*P2_43*SC2RAD; i+=24;
        eph.tgd[0]=getbits(rtcm->buff,i, 8)*P2_31;        i+= 8;
        eph.svh   =getbitu(rtcm->buff,i, 6);              i+= 6;
        eph.flag  =getbitu(rtcm->buff,i, 1);              i+= 1;
        eph.fit   =getbitu(rtcm->buff,i, 1)?0.0:4.0; /* 0:4hr,1:>4hr */
    }
    else {
        trace(2,"rtcm3 1019 length error: len=%d\n",rtcm->len);
        return -1;
    }
    if (prn>=40) {
        sys=SYS_SBS; prn+=80;
    }
    trace(4,"decode_type1019: prn=%d iode=%d toe=%.0f\n",prn,eph.iode,eph.toes);
    
    if (rtcm->outtype) {
        msg=rtcm->msgtype+strlen(rtcm->msgtype);
        sprintf(msg," prn=%2d iode=%3d iodc=%3d week=%d toe=%6.0f toc=%6.0f svh=%02X",
                prn,eph.iode,eph.iodc,week,eph.toes,toc,eph.svh);
    }
    if (!(sat=satno(sys,prn))) {
        trace(2,"rtcm3 1019 satellite number error: prn=%d\n",prn);
        return -1;
    }
    eph.sat=sat;
    eph.week=adjgpsweek(week);
    eph.toe=gpst2time(eph.week,eph.toes);
    eph.toc=gpst2time(eph.week,toc);
    eph.ttr=rtcm->time;
    eph.A=sqrtA*sqrtA;
    if (!strstr(rtcm->opt,"-EPHALL")) {
        if (eph.iode==rtcm->nav.eph[sat-1].iode) return 0; /* unchanged */
    }
    rtcm->nav.eph[sat-1]=eph;
    rtcm->ephsat=sat;
    return 2;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x1d0, %rsp            # imm = 0x1D0
movq %rdi, -0x10(%rbp)
leaq -0x130(%rbp), %rdi
xorl %esi, %esi
movl $0x120, %edx            # imm = 0x120
callq 0x93d0
movl $0x24, -0x14c(%rbp)
movl $0x1, -0x15c(%rbp)
movl -0x14c(%rbp), %eax
addl $0x1dc, %eax            # imm = 0x1DC
movq -0x10(%rbp), %rcx
movl 0x9f0c0(%rcx), %ecx
shll $0x3, %ecx
cmpl %ecx, %eax
jg 0x717c4
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x14c(%rbp), %esi
movl $0x6, %edx
callq 0x8bfc0
movl %eax, -0x150(%rbp)
movl -0x14c(%rbp), %eax
addl $0x6, %eax
movl %eax, -0x14c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x14c(%rbp), %esi
movl $0xa, %edx
movl %edx, -0x1bc(%rbp)
callq 0x8bfc0
movl %eax, -0x158(%rbp)
movl -0x14c(%rbp), %eax
addl $0xa, %eax
movl %eax, -0x14c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x14c(%rbp), %esi
movl $0x4, %edx
callq 0x8bfc0
movl %eax, -0x124(%rbp)
movl -0x14c(%rbp), %eax
addl $0x4, %eax
movl %eax, -0x14c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x14c(%rbp), %esi
movl $0x2, %edx
callq 0x8bfc0
movl %eax, -0x118(%rbp)
movl -0x14c(%rbp), %eax
addl $0x2, %eax
movl %eax, -0x14c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x14c(%rbp), %esi
movl $0xe, %edx
callq 0x8c050
cvtsi2sd %eax, %xmm0
movsd 0x4dd85(%rip), %xmm1    # 0xbee68
movsd %xmm1, -0x1b8(%rbp)
mulsd %xmm1, %xmm0
movsd 0x4cc61(%rip), %xmm1    # 0xbdd58
movsd %xmm1, -0x1a8(%rbp)
mulsd %xmm1, %xmm0
movsd %xmm0, -0xa0(%rbp)
movl -0x14c(%rbp), %eax
addl $0xe, %eax
movl %eax, -0x14c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x14c(%rbp), %esi
movl $0x8, %edx
movl %edx, -0x1c0(%rbp)
callq 0x8bfc0
movl %eax, -0x12c(%rbp)
movl -0x14c(%rbp), %eax
addl $0x8, %eax
movl %eax, -0x14c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x14c(%rbp), %esi
movl $0x10, %edx
movl %edx, -0x194(%rbp)
callq 0x8bfc0
movl -0x1c0(%rbp), %edx
movl %eax, %eax
cvtsi2sd %rax, %xmm0
movsd 0x4dd3a(%rip), %xmm1    # 0xbeec0
mulsd %xmm1, %xmm0
movsd %xmm0, -0x138(%rbp)
movl -0x14c(%rbp), %eax
addl $0x10, %eax
movl %eax, -0x14c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x14c(%rbp), %esi
callq 0x8c050
movl -0x194(%rbp), %edx
cvtsi2sd %eax, %xmm0
movsd 0x4dcef(%rip), %xmm1    # 0xbeeb8
mulsd %xmm1, %xmm0
movsd %xmm0, -0x48(%rbp)
movl -0x14c(%rbp), %eax
addl $0x8, %eax
movl %eax, -0x14c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x14c(%rbp), %esi
callq 0x8c050
movsd -0x1b8(%rbp), %xmm1
cvtsi2sd %eax, %xmm0
mulsd %xmm1, %xmm0
movsd %xmm0, -0x50(%rbp)
movl -0x14c(%rbp), %eax
addl $0x10, %eax
movl %eax, -0x14c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x14c(%rbp), %esi
movl $0x16, %edx
callq 0x8c050
movl -0x1bc(%rbp), %edx
cvtsi2sd %eax, %xmm0
movsd 0x4bd90(%rip), %xmm1    # 0xbcfd8
movsd %xmm1, -0x1b0(%rbp)
mulsd %xmm1, %xmm0
movsd %xmm0, -0x58(%rbp)
movl -0x14c(%rbp), %eax
addl $0x16, %eax
movl %eax, -0x14c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x14c(%rbp), %esi
callq 0x8bfc0
movl -0x194(%rbp), %edx
movl %eax, -0x128(%rbp)
movl -0x14c(%rbp), %eax
addl $0xa, %eax
movl %eax, -0x14c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x14c(%rbp), %esi
callq 0x8c050
movl -0x194(%rbp), %edx
cvtsi2sd %eax, %xmm0
movsd 0x4dbb7(%rip), %xmm1    # 0xbee78
mulsd %xmm1, %xmm0
movsd %xmm0, -0x90(%rbp)
movl -0x14c(%rbp), %eax
addl $0x10, %eax
movl %eax, -0x14c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x14c(%rbp), %esi
callq 0x8c050
movsd -0x1b8(%rbp), %xmm2
movsd -0x1a8(%rbp), %xmm1
cvtsi2sd %eax, %xmm0
mulsd %xmm2, %xmm0
mulsd %xmm1, %xmm0
movsd %xmm0, -0xb0(%rbp)
movl -0x14c(%rbp), %eax
addl $0x10, %eax
movl %eax, -0x14c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x14c(%rbp), %esi
movl $0x20, %edx
movl %edx, -0x198(%rbp)
callq 0x8c050
movsd -0x1b0(%rbp), %xmm2
movsd -0x1a8(%rbp), %xmm1
movl -0x194(%rbp), %edx
cvtsi2sd %eax, %xmm0
mulsd %xmm2, %xmm0
mulsd %xmm1, %xmm0
movsd %xmm0, -0xb8(%rbp)
movl -0x14c(%rbp), %eax
addl $0x20, %eax
movl %eax, -0x14c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x14c(%rbp), %esi
callq 0x8c050
movl -0x198(%rbp), %edx
cvtsi2sd %eax, %xmm0
movsd 0x4dac9(%rip), %xmm1    # 0xbee70
movsd %xmm1, -0x1a0(%rbp)
mulsd %xmm1, %xmm0
movsd %xmm0, -0x88(%rbp)
movl -0x14c(%rbp), %eax
addl $0x10, %eax
movl %eax, -0x14c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x14c(%rbp), %esi
callq 0x8bfc0
movl -0x194(%rbp), %edx
movl %eax, %eax
cvtsi2sd %rax, %xmm0
movsd 0x4da6b(%rip), %xmm1    # 0xbee60
mulsd %xmm1, %xmm0
movsd %xmm0, -0xd8(%rbp)
movl -0x14c(%rbp), %eax
addl $0x20, %eax
movl %eax, -0x14c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x14c(%rbp), %esi
callq 0x8c050
movsd -0x1a0(%rbp), %xmm1
movl -0x198(%rbp), %edx
cvtsi2sd %eax, %xmm0
mulsd %xmm1, %xmm0
movsd %xmm0, -0x80(%rbp)
movl -0x14c(%rbp), %eax
addl $0x10, %eax
movl %eax, -0x14c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x14c(%rbp), %esi
callq 0x8bfc0
movl -0x194(%rbp), %edx
movl %eax, %eax
cvtsi2sd %rax, %xmm0
movsd 0x4bb65(%rip), %xmm1    # 0xbcfe0
mulsd %xmm1, %xmm0
movsd %xmm0, -0x140(%rbp)
movl -0x14c(%rbp), %eax
addl $0x20, %eax
movl %eax, -0x14c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x14c(%rbp), %esi
callq 0x8bfc0
movl %eax, %eax
cvtsi2sd %rax, %xmm0
movsd 0x4da05(%rip), %xmm1    # 0xbeec0
mulsd %xmm1, %xmm0
movsd %xmm0, -0x68(%rbp)
movl -0x14c(%rbp), %eax
addl $0x10, %eax
movl %eax, -0x14c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x14c(%rbp), %esi
movl $0x10, %edx
callq 0x8c050
cvtsi2sd %eax, %xmm0
movsd 0x4d976(%rip), %xmm1    # 0xbee70
mulsd %xmm1, %xmm0
movsd %xmm0, -0x78(%rbp)
movl -0x14c(%rbp), %eax
addl $0x10, %eax
movl %eax, -0x14c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x14c(%rbp), %esi
movl $0x20, %edx
callq 0x8c050
cvtsi2sd %eax, %xmm0
movsd 0x4ba9f(%rip), %xmm1    # 0xbcfd8
mulsd %xmm1, %xmm0
movsd 0x4c813(%rip), %xmm1    # 0xbdd58
mulsd %xmm1, %xmm0
movsd %xmm0, -0xc8(%rbp)
movl -0x14c(%rbp), %eax
addl $0x20, %eax
movl %eax, -0x14c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x14c(%rbp), %esi
movl $0x10, %edx
callq 0x8c050
cvtsi2sd %eax, %xmm0
movsd 0x4d8e9(%rip), %xmm1    # 0xbee70
mulsd %xmm1, %xmm0
movsd %xmm0, -0x70(%rbp)
movl -0x14c(%rbp), %eax
addl $0x10, %eax
movl %eax, -0x14c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x14c(%rbp), %esi
movl $0x20, %edx
callq 0x8c050
cvtsi2sd %eax, %xmm0
movsd 0x4ba12(%rip), %xmm1    # 0xbcfd8
mulsd %xmm1, %xmm0
movsd 0x4c786(%rip), %xmm1    # 0xbdd58
mulsd %xmm1, %xmm0
movsd %xmm0, -0xd0(%rbp)
movl -0x14c(%rbp), %eax
addl $0x20, %eax
movl %eax, -0x14c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x14c(%rbp), %esi
movl $0x10, %edx
callq 0x8c050
cvtsi2sd %eax, %xmm0
movsd 0x4d864(%rip), %xmm1    # 0xbee78
mulsd %xmm1, %xmm0
movsd %xmm0, -0x98(%rbp)
movl -0x14c(%rbp), %eax
addl $0x10, %eax
movl %eax, -0x14c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x14c(%rbp), %esi
movl $0x20, %edx
callq 0x8c050
cvtsi2sd %eax, %xmm0
movsd 0x4b982(%rip), %xmm1    # 0xbcfd8
mulsd %xmm1, %xmm0
movsd 0x4c6f6(%rip), %xmm1    # 0xbdd58
mulsd %xmm1, %xmm0
movsd %xmm0, -0xc0(%rbp)
movl -0x14c(%rbp), %eax
addl $0x20, %eax
movl %eax, -0x14c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x14c(%rbp), %esi
movl $0x18, %edx
callq 0x8c050
cvtsi2sd %eax, %xmm0
movsd 0x4d7c4(%rip), %xmm1    # 0xbee68
mulsd %xmm1, %xmm0
movsd 0x4c6a8(%rip), %xmm1    # 0xbdd58
mulsd %xmm1, %xmm0
movsd %xmm0, -0xa8(%rbp)
movl -0x14c(%rbp), %eax
addl $0x18, %eax
movl %eax, -0x14c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x14c(%rbp), %esi
movl $0x8, %edx
callq 0x8c050
cvtsi2sd %eax, %xmm0
movsd 0x4b8e6(%rip), %xmm1    # 0xbcfd8
mulsd %xmm1, %xmm0
movsd %xmm0, -0x40(%rbp)
movl -0x14c(%rbp), %eax
addl $0x8, %eax
movl %eax, -0x14c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x14c(%rbp), %esi
movl $0x6, %edx
callq 0x8bfc0
movl %eax, -0x120(%rbp)
movl -0x14c(%rbp), %eax
addl $0x6, %eax
movl %eax, -0x14c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x14c(%rbp), %esi
movl $0x1, %edx
callq 0x8bfc0
movl %eax, -0x114(%rbp)
movl -0x14c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x14c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x14c(%rbp), %esi
movl $0x1, %edx
callq 0x8bfc0
xorps %xmm0, %xmm0
movsd 0x4b660(%rip), %xmm1    # 0xbcdf0
movsd %xmm1, -0x190(%rbp)
cmpl $0x0, %eax
movsd %xmm0, -0x188(%rbp)
jne 0x717b5
movsd -0x190(%rbp), %xmm0
movsd %xmm0, -0x188(%rbp)
movsd -0x188(%rbp), %xmm0
movsd %xmm0, -0x60(%rbp)
jmp 0x717ed
movq -0x10(%rbp), %rax
movl 0x9f0c0(%rax), %edx
movl $0x2, %edi
leaq 0x4fbe2(%rip), %rsi     # 0xc13bc
movb $0x0, %al
callq 0x8b980
movl $0xffffffff, -0x4(%rbp) # imm = 0xFFFFFFFF
jmp 0x71a5c
cmpl $0x28, -0x150(%rbp)
jl 0x7180f
movl $0x2, -0x15c(%rbp)
movl -0x150(%rbp), %eax
addl $0x50, %eax
movl %eax, -0x150(%rbp)
movl -0x150(%rbp), %edx
movl -0x12c(%rbp), %ecx
movsd -0x68(%rbp), %xmm0
movl $0x4, %edi
leaq 0x4fbb1(%rip), %rsi     # 0xc13dd
movb $0x1, %al
callq 0x8b980
movq -0x10(%rbp), %rax
cmpl $0x0, 0xc(%rax)
je 0x718b7
movq -0x10(%rbp), %rax
addq $0x9b9d0, %rax          # imm = 0x9B9D0
movq %rax, -0x1c8(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9b9d0, %rdi          # imm = 0x9B9D0
callq 0x92e0
movq %rax, %rcx
movq -0x1c8(%rbp), %rax
addq %rcx, %rax
movq %rax, -0x148(%rbp)
movq -0x148(%rbp), %rdi
movl -0x150(%rbp), %edx
movl -0x12c(%rbp), %ecx
movl -0x128(%rbp), %r8d
movl -0x158(%rbp), %r9d
movsd -0x68(%rbp), %xmm0
movsd -0x138(%rbp), %xmm1
movl -0x120(%rbp), %eax
leaq 0x4fb5a(%rip), %rsi     # 0xc1407
movl %eax, (%rsp)
movb $0x2, %al
callq 0x9150
movl -0x15c(%rbp), %edi
movl -0x150(%rbp), %esi
callq 0x8b1b0
movl %eax, -0x154(%rbp)
cmpl $0x0, %eax
jne 0x718f8
movl -0x150(%rbp), %edx
movl $0x2, %edi
leaq 0x4fb62(%rip), %rsi     # 0xc1447
movb $0x0, %al
callq 0x8b980
movl $0xffffffff, -0x4(%rbp) # imm = 0xFFFFFFFF
jmp 0x71a5c
movl -0x154(%rbp), %eax
movl %eax, -0x130(%rbp)
movl -0x158(%rbp), %edi
callq 0x8f7e0
movl %eax, -0x11c(%rbp)
movl -0x11c(%rbp), %edi
movsd -0x68(%rbp), %xmm0
callq 0x8e4a0
movq %rax, -0x170(%rbp)
movsd %xmm0, -0x168(%rbp)
movq -0x170(%rbp), %rax
movq %rax, -0x110(%rbp)
movq -0x168(%rbp), %rax
movq %rax, -0x108(%rbp)
movl -0x11c(%rbp), %edi
movsd -0x138(%rbp), %xmm0
callq 0x8e4a0
movq %rax, -0x180(%rbp)
movsd %xmm0, -0x178(%rbp)
movq -0x180(%rbp), %rax
movq %rax, -0x100(%rbp)
movq -0x178(%rbp), %rax
movq %rax, -0xf8(%rbp)
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rcx
movq %rcx, -0xf0(%rbp)
movq 0x18(%rax), %rax
movq %rax, -0xe8(%rbp)
movsd -0x140(%rbp), %xmm0
mulsd -0x140(%rbp), %xmm0
movsd %xmm0, -0xe0(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9fd48, %rdi          # imm = 0x9FD48
leaq 0x4ce8d(%rip), %rsi     # 0xbe85f
callq 0x91b0
cmpq $0x0, %rax
jne 0x71a14
movl -0x12c(%rbp), %eax
movq -0x10(%rbp), %rcx
movq 0x80(%rcx), %rcx
movl -0x154(%rbp), %edx
subl $0x1, %edx
movslq %edx, %rdx
imulq $0x120, %rdx, %rdx      # imm = 0x120
addq %rdx, %rcx
cmpl 0x4(%rcx), %eax
jne 0x71a12
movl $0x0, -0x4(%rbp)
jmp 0x71a5c
jmp 0x71a14
movq -0x10(%rbp), %rax
movq 0x80(%rax), %rdi
movl -0x154(%rbp), %eax
subl $0x1, %eax
cltq
imulq $0x120, %rax, %rax      # imm = 0x120
addq %rax, %rdi
leaq -0x130(%rbp), %rsi
movl $0x120, %edx            # imm = 0x120
callq 0x9610
movl -0x154(%rbp), %ecx
movq -0x10(%rbp), %rax
movl %ecx, 0x9bdd4(%rax)
movl $0x2, -0x4(%rbp)
movl -0x4(%rbp), %eax
addq $0x1d0, %rsp            # imm = 0x1D0
popq %rbp
retq
nopl (%rax,%rax)