// File: DoubleString[P]RtConverter/src/Rtklib/rtcm3e.cpp
// Function: bamboo::encode_type1042(bamboo::rtcm_t*, int)
static int encode_type1042(rtcm_t *rtcm, int sync)
{
    eph_t *eph;
    unsigned int sqrtA,e;
    int i=24,prn,week,toe,toc,i0,OMG0,omg,M0,deln,idot,OMGd,crs,crc;
    int cus,cuc,cis,cic,af0,af1,af2,tgd1,tgd2;
    
    trace(3,"encode_type1042: sync=%d\n",sync);
    
    if (satsys(rtcm->ephsat,&prn)!=SYS_CMP) return 0;
    eph=rtcm->nav.eph+rtcm->ephsat-1;
    if (eph->sat!=rtcm->ephsat) return 0;
    week =eph->week%8192;
    toe  =ROUND(eph->toes/8.0);
    toc  =ROUND(time2bdt(gpst2bdt(eph->toc),NULL)/8.0); /* gpst -> bdt */
    sqrtA=ROUND_U(sqrt(eph->A)/P2_19);
    e    =ROUND_U(eph->e/P2_33);
    i0   =ROUND(eph->i0  /P2_31/SC2RAD);
    OMG0 =ROUND(eph->OMG0/P2_31/SC2RAD);
    omg  =ROUND(eph->omg /P2_31/SC2RAD);
    M0   =ROUND(eph->M0  /P2_31/SC2RAD);
    deln =ROUND(eph->deln/P2_43/SC2RAD);
    idot =ROUND(eph->idot/P2_43/SC2RAD);
    OMGd =ROUND(eph->OMGd/P2_43/SC2RAD);
    crs  =ROUND(eph->crs/P2_6 );
    crc  =ROUND(eph->crc/P2_6 );
    cus  =ROUND(eph->cus/P2_31);
    cuc  =ROUND(eph->cuc/P2_31);
    cis  =ROUND(eph->cis/P2_31);
    cic  =ROUND(eph->cic/P2_31);
    af0  =ROUND(eph->f0 /P2_33);
    af1  =ROUND(eph->f1 /P2_50);
    af2  =ROUND(eph->f2 /P2_66);
    tgd1 =ROUND(eph->tgd[0]/1E-10);
    tgd2 =ROUND(eph->tgd[1]/1E-10);
    
    setbitu(rtcm->buff,i,12,1042     ); i+=12;
    setbitu(rtcm->buff,i, 6,prn      ); i+= 6;
    setbitu(rtcm->buff,i,13,week     ); i+=13;
    setbitu(rtcm->buff,i, 4,eph->sva ); i+= 4;
    setbits(rtcm->buff,i,14,idot     ); i+=14;
    setbitu(rtcm->buff,i, 5,eph->iode); i+= 5;
    setbitu(rtcm->buff,i,17,toc      ); i+=17;
    setbits(rtcm->buff,i,11,af2      ); i+=11;
    setbits(rtcm->buff,i,22,af1      ); i+=22;
    setbits(rtcm->buff,i,24,af0      ); i+=24;
    setbitu(rtcm->buff,i, 5,eph->iodc); i+= 5;
    setbits(rtcm->buff,i,18,crs      ); i+=18;
    setbits(rtcm->buff,i,16,deln     ); i+=16;
    setbits(rtcm->buff,i,32,M0       ); i+=32;
    setbits(rtcm->buff,i,18,cuc      ); i+=18;
    setbitu(rtcm->buff,i,32,e        ); i+=32;
    setbits(rtcm->buff,i,18,cus      ); i+=18;
    setbitu(rtcm->buff,i,32,sqrtA    ); i+=32;
    setbitu(rtcm->buff,i,17,toe      ); i+=17;
    setbits(rtcm->buff,i,18,cic      ); i+=18;
    setbits(rtcm->buff,i,32,OMG0     ); i+=32;
    setbits(rtcm->buff,i,18,cis      ); i+=18;
    setbits(rtcm->buff,i,32,i0       ); i+=32;
    setbits(rtcm->buff,i,18,crc      ); i+=18;
    setbits(rtcm->buff,i,32,omg      ); i+=32;
    setbits(rtcm->buff,i,24,OMGd     ); i+=24;
    setbits(rtcm->buff,i,10,tgd1     ); i+=10;
    setbits(rtcm->buff,i,10,tgd2     ); i+=10;
    setbitu(rtcm->buff,i, 1,eph->svh ); i+= 1;
    rtcm->nbit=i;
    return 1;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xc0, %rsp
movq %rdi, -0x10(%rbp)
movl %esi, -0x14(%rbp)
movl $0x18, -0x2c(%rbp)
movl -0x14(%rbp), %edx
movl $0x3, %edi
leaq 0x410ee(%rip), %rsi     # 0xc2766
movb $0x0, %al
callq 0x8b980
movq -0x10(%rbp), %rax
movl 0x9bdd4(%rax), %edi
leaq -0x30(%rbp), %rsi
callq 0x8b3b0
cmpl $0x20, %eax
je 0x816a3
movl $0x0, -0x4(%rbp)
jmp 0x82003
movq -0x10(%rbp), %rax
movq 0x80(%rax), %rax
movq -0x10(%rbp), %rcx
movslq 0x9bdd4(%rcx), %rcx
imulq $0x120, %rcx, %rcx      # imm = 0x120
addq %rcx, %rax
addq $-0x120, %rax           # imm = 0xFEE0
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movl (%rax), %eax
movq -0x10(%rbp), %rcx
cmpl 0x9bdd4(%rcx), %eax
je 0x816eb
movl $0x0, -0x4(%rbp)
jmp 0x82003
movq -0x20(%rbp), %rax
movl 0x14(%rax), %eax
movl %eax, %edx
addl $0x1fff, %edx           # imm = 0x1FFF
testl %eax, %eax
movl %eax, %ecx
cmovsl %edx, %ecx
andl $0xffffe000, %ecx       # imm = 0xFFFFE000
subl %ecx, %eax
movl %eax, -0x34(%rbp)
movq -0x20(%rbp), %rax
movsd 0xc8(%rax), %xmm0
movsd 0x40690(%rip), %xmm1    # 0xc1db0
movsd %xmm1, -0xc0(%rbp)
mulsd %xmm1, %xmm0
movsd 0x3b74c(%rip), %xmm1    # 0xbce80
movsd %xmm1, -0xb8(%rbp)
addsd %xmm1, %xmm0
callq 0x9c90
cvttsd2si %xmm0, %eax
movl %eax, -0x38(%rbp)
movq -0x20(%rbp), %rax
movups 0x30(%rax), %xmm0
movaps %xmm0, -0xb0(%rbp)
movq -0xb0(%rbp), %rdi
movsd -0xa8(%rbp), %xmm0
callq 0x8f1c0
movq %rax, -0x98(%rbp)
movsd %xmm0, -0x90(%rbp)
movq -0x98(%rbp), %rdi
movsd -0x90(%rbp), %xmm0
xorl %eax, %eax
movl %eax, %esi
callq 0x8e7c0
movsd -0xc0(%rbp), %xmm2
movsd -0xb8(%rbp), %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
callq 0x9c90
cvttsd2si %xmm0, %eax
movl %eax, -0x3c(%rbp)
movq -0x20(%rbp), %rax
movsd 0x50(%rax), %xmm0
callq 0x95e0
movsd -0xb8(%rbp), %xmm1
movsd 0x405d0(%rip), %xmm2    # 0xc1da8
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
callq 0x9c90
movsd -0xb8(%rbp), %xmm1
cvttsd2si %xmm0, %rax
movl %eax, -0x24(%rbp)
movq -0x20(%rbp), %rax
movsd 0x58(%rax), %xmm0
movsd 0x3d65a(%rip), %xmm2    # 0xbee60
divsd %xmm2, %xmm0
addsd %xmm1, %xmm0
callq 0x9c90
cvttsd2si %xmm0, %rax
movl %eax, -0x28(%rbp)
movq -0x20(%rbp), %rax
movsd 0x60(%rax), %xmm0
movsd 0x3b7ac(%rip), %xmm1    # 0xbcfd8
divsd %xmm1, %xmm0
movsd 0x3c520(%rip), %xmm1    # 0xbdd58
divsd %xmm1, %xmm0
movsd 0x3b63c(%rip), %xmm1    # 0xbce80
addsd %xmm1, %xmm0
callq 0x9c90
cvttsd2si %xmm0, %eax
movl %eax, -0x40(%rbp)
movq -0x20(%rbp), %rax
movsd 0x68(%rax), %xmm0
movsd 0x3b773(%rip), %xmm1    # 0xbcfd8
divsd %xmm1, %xmm0
movsd 0x3c4e7(%rip), %xmm1    # 0xbdd58
divsd %xmm1, %xmm0
movsd 0x3b603(%rip), %xmm1    # 0xbce80
addsd %xmm1, %xmm0
callq 0x9c90
cvttsd2si %xmm0, %eax
movl %eax, -0x44(%rbp)
movq -0x20(%rbp), %rax
movsd 0x70(%rax), %xmm0
movsd 0x3b73a(%rip), %xmm1    # 0xbcfd8
divsd %xmm1, %xmm0
movsd 0x3c4ae(%rip), %xmm1    # 0xbdd58
divsd %xmm1, %xmm0
movsd 0x3b5ca(%rip), %xmm1    # 0xbce80
addsd %xmm1, %xmm0
callq 0x9c90
cvttsd2si %xmm0, %eax
movl %eax, -0x48(%rbp)
movq -0x20(%rbp), %rax
movsd 0x78(%rax), %xmm0
movsd 0x3b701(%rip), %xmm1    # 0xbcfd8
divsd %xmm1, %xmm0
movsd 0x3c475(%rip), %xmm1    # 0xbdd58
divsd %xmm1, %xmm0
movsd 0x3b591(%rip), %xmm1    # 0xbce80
addsd %xmm1, %xmm0
callq 0x9c90
cvttsd2si %xmm0, %eax
movl %eax, -0x4c(%rbp)
movq -0x20(%rbp), %rax
movsd 0x80(%rax), %xmm0
movsd 0x3d555(%rip), %xmm1    # 0xbee68
divsd %xmm1, %xmm0
movsd 0x3c439(%rip), %xmm1    # 0xbdd58
divsd %xmm1, %xmm0
movsd 0x3b555(%rip), %xmm1    # 0xbce80
addsd %xmm1, %xmm0
callq 0x9c90
cvttsd2si %xmm0, %eax
movl %eax, -0x50(%rbp)
movq -0x20(%rbp), %rax
movsd 0x90(%rax), %xmm0
movsd 0x3d519(%rip), %xmm1    # 0xbee68
divsd %xmm1, %xmm0
movsd 0x3c3fd(%rip), %xmm1    # 0xbdd58
divsd %xmm1, %xmm0
movsd 0x3b519(%rip), %xmm1    # 0xbce80
addsd %xmm1, %xmm0
callq 0x9c90
cvttsd2si %xmm0, %eax
movl %eax, -0x54(%rbp)
movq -0x20(%rbp), %rax
movsd 0x88(%rax), %xmm0
movsd 0x3d4dd(%rip), %xmm1    # 0xbee68
divsd %xmm1, %xmm0
movsd 0x3c3c1(%rip), %xmm1    # 0xbdd58
divsd %xmm1, %xmm0
movsd 0x3b4dd(%rip), %xmm1    # 0xbce80
addsd %xmm1, %xmm0
callq 0x9c90
cvttsd2si %xmm0, %eax
movl %eax, -0x58(%rbp)
movq -0x20(%rbp), %rax
movsd 0xa0(%rax), %xmm0
movsd 0x3b601(%rip), %xmm1    # 0xbcfc8
divsd %xmm1, %xmm0
movsd 0x3b4ad(%rip), %xmm1    # 0xbce80
addsd %xmm1, %xmm0
callq 0x9c90
cvttsd2si %xmm0, %eax
movl %eax, -0x5c(%rbp)
movq -0x20(%rbp), %rax
movsd 0x98(%rax), %xmm0
movsd 0x3b5d1(%rip), %xmm1    # 0xbcfc8
divsd %xmm1, %xmm0
movsd 0x3b47d(%rip), %xmm1    # 0xbce80
addsd %xmm1, %xmm0
callq 0x9c90
cvttsd2si %xmm0, %eax
movl %eax, -0x60(%rbp)
movq -0x20(%rbp), %rax
movsd 0xb0(%rax), %xmm0
movsd 0x3b5b1(%rip), %xmm1    # 0xbcfd8
divsd %xmm1, %xmm0
movsd 0x3b44d(%rip), %xmm1    # 0xbce80
addsd %xmm1, %xmm0
callq 0x9c90
cvttsd2si %xmm0, %eax
movl %eax, -0x64(%rbp)
movq -0x20(%rbp), %rax
movsd 0xa8(%rax), %xmm0
movsd 0x3b581(%rip), %xmm1    # 0xbcfd8
divsd %xmm1, %xmm0
movsd 0x3b41d(%rip), %xmm1    # 0xbce80
addsd %xmm1, %xmm0
callq 0x9c90
cvttsd2si %xmm0, %eax
movl %eax, -0x68(%rbp)
movq -0x20(%rbp), %rax
movsd 0xc0(%rax), %xmm0
movsd 0x3b551(%rip), %xmm1    # 0xbcfd8
divsd %xmm1, %xmm0
movsd 0x3b3ed(%rip), %xmm1    # 0xbce80
addsd %xmm1, %xmm0
callq 0x9c90
cvttsd2si %xmm0, %eax
movl %eax, -0x6c(%rbp)
movq -0x20(%rbp), %rax
movsd 0xb8(%rax), %xmm0
movsd 0x3b521(%rip), %xmm1    # 0xbcfd8
divsd %xmm1, %xmm0
movsd 0x3b3bd(%rip), %xmm1    # 0xbce80
addsd %xmm1, %xmm0
callq 0x9c90
cvttsd2si %xmm0, %eax
movl %eax, -0x70(%rbp)
movq -0x20(%rbp), %rax
movsd 0xd8(%rax), %xmm0
movsd 0x3d379(%rip), %xmm1    # 0xbee60
divsd %xmm1, %xmm0
movsd 0x3b38d(%rip), %xmm1    # 0xbce80
addsd %xmm1, %xmm0
callq 0x9c90
cvttsd2si %xmm0, %eax
movl %eax, -0x74(%rbp)
movq -0x20(%rbp), %rax
movsd 0xe0(%rax), %xmm0
movsd 0x3b4a1(%rip), %xmm1    # 0xbcfb8
divsd %xmm1, %xmm0
movsd 0x3b35d(%rip), %xmm1    # 0xbce80
addsd %xmm1, %xmm0
callq 0x9c90
cvttsd2si %xmm0, %eax
movl %eax, -0x78(%rbp)
movq -0x20(%rbp), %rax
movsd 0xe8(%rax), %xmm0
movsd 0x3eec1(%rip), %xmm1    # 0xc0a08
divsd %xmm1, %xmm0
movsd 0x3b32d(%rip), %xmm1    # 0xbce80
addsd %xmm1, %xmm0
callq 0x9c90
cvttsd2si %xmm0, %eax
movl %eax, -0x7c(%rbp)
movq -0x20(%rbp), %rax
movsd 0xf0(%rax), %xmm0
movsd 0x3c219(%rip), %xmm1    # 0xbdd90
divsd %xmm1, %xmm0
movsd 0x3b2fd(%rip), %xmm1    # 0xbce80
addsd %xmm1, %xmm0
callq 0x9c90
cvttsd2si %xmm0, %eax
movl %eax, -0x80(%rbp)
movq -0x20(%rbp), %rax
movsd 0xf8(%rax), %xmm0
movsd 0x3c1e9(%rip), %xmm1    # 0xbdd90
divsd %xmm1, %xmm0
movsd 0x3b2cd(%rip), %xmm1    # 0xbce80
addsd %xmm1, %xmm0
callq 0x9c90
cvttsd2si %xmm0, %eax
movl %eax, -0x84(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl $0xc, %edx
movl $0x412, %ecx            # imm = 0x412
callq 0x8c0d0
movl -0x2c(%rbp), %eax
addl $0xc, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x30(%rbp), %ecx
movl $0x6, %edx
callq 0x8c0d0
movl -0x2c(%rbp), %eax
addl $0x6, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x34(%rbp), %ecx
movl $0xd, %edx
callq 0x8c0d0
movl -0x2c(%rbp), %eax
addl $0xd, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movq -0x20(%rbp), %rax
movl 0xc(%rax), %ecx
movl $0x4, %edx
callq 0x8c0d0
movl -0x2c(%rbp), %eax
addl $0x4, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x54(%rbp), %ecx
movl $0xe, %edx
callq 0x8c1d0
movl -0x2c(%rbp), %eax
addl $0xe, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movq -0x20(%rbp), %rax
movl 0x4(%rax), %ecx
movl $0x5, %edx
callq 0x8c0d0
movl -0x2c(%rbp), %eax
addl $0x5, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x3c(%rbp), %ecx
movl $0x11, %edx
callq 0x8c0d0
movl -0x2c(%rbp), %eax
addl $0x11, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x7c(%rbp), %ecx
movl $0xb, %edx
callq 0x8c1d0
movl -0x2c(%rbp), %eax
addl $0xb, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x78(%rbp), %ecx
movl $0x16, %edx
callq 0x8c1d0
movl -0x2c(%rbp), %eax
addl $0x16, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x74(%rbp), %ecx
movl $0x18, %edx
callq 0x8c1d0
movl -0x2c(%rbp), %eax
addl $0x18, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movq -0x20(%rbp), %rax
movl 0x8(%rax), %ecx
movl $0x5, %edx
callq 0x8c0d0
movl -0x2c(%rbp), %eax
addl $0x5, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x5c(%rbp), %ecx
movl $0x12, %edx
callq 0x8c1d0
movl -0x2c(%rbp), %eax
addl $0x12, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x50(%rbp), %ecx
movl $0x10, %edx
callq 0x8c1d0
movl -0x2c(%rbp), %eax
addl $0x10, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x4c(%rbp), %ecx
movl $0x20, %edx
callq 0x8c1d0
movl -0x2c(%rbp), %eax
addl $0x20, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x68(%rbp), %ecx
movl $0x12, %edx
callq 0x8c1d0
movl -0x2c(%rbp), %eax
addl $0x12, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x28(%rbp), %ecx
movl $0x20, %edx
callq 0x8c0d0
movl -0x2c(%rbp), %eax
addl $0x20, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x64(%rbp), %ecx
movl $0x12, %edx
callq 0x8c1d0
movl -0x2c(%rbp), %eax
addl $0x12, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x24(%rbp), %ecx
movl $0x20, %edx
callq 0x8c0d0
movl -0x2c(%rbp), %eax
addl $0x20, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x38(%rbp), %ecx
movl $0x11, %edx
callq 0x8c0d0
movl -0x2c(%rbp), %eax
addl $0x11, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x70(%rbp), %ecx
movl $0x12, %edx
callq 0x8c1d0
movl -0x2c(%rbp), %eax
addl $0x12, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x44(%rbp), %ecx
movl $0x20, %edx
callq 0x8c1d0
movl -0x2c(%rbp), %eax
addl $0x20, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x6c(%rbp), %ecx
movl $0x12, %edx
callq 0x8c1d0
movl -0x2c(%rbp), %eax
addl $0x12, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x40(%rbp), %ecx
movl $0x20, %edx
callq 0x8c1d0
movl -0x2c(%rbp), %eax
addl $0x20, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x60(%rbp), %ecx
movl $0x12, %edx
callq 0x8c1d0
movl -0x2c(%rbp), %eax
addl $0x12, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x48(%rbp), %ecx
movl $0x20, %edx
callq 0x8c1d0
movl -0x2c(%rbp), %eax
addl $0x20, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x58(%rbp), %ecx
movl $0x18, %edx
callq 0x8c1d0
movl -0x2c(%rbp), %eax
addl $0x18, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x80(%rbp), %ecx
movl $0xa, %edx
callq 0x8c1d0
movl -0x2c(%rbp), %eax
addl $0xa, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movl -0x84(%rbp), %ecx
movl $0xa, %edx
callq 0x8c1d0
movl -0x2c(%rbp), %eax
addl $0xa, %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
addq $0x9f0c4, %rdi          # imm = 0x9F0C4
movl -0x2c(%rbp), %esi
movq -0x20(%rbp), %rax
movl 0x10(%rax), %ecx
movl $0x1, %edx
callq 0x8c0d0
movl -0x2c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x2c(%rbp)
movl -0x2c(%rbp), %ecx
movq -0x10(%rbp), %rax
movl %ecx, 0x9f0bc(%rax)
movl $0x1, -0x4(%rbp)
movl -0x4(%rbp), %eax
addq $0xc0, %rsp
popq %rbp
retq
nop