L8: do {
                /*8:  */r[4] = r[3] & 0xFF;
                /*9:  */r[5] += r[4];
                /*10:  */r[5] = r[5] & 0xFFFFFF;
                /*11:  */r[5] = r[5] * 65899;
                /*12:  */r[5] = r[5] & 0xFFFFFF;
                /*13:  */if (256 <= r[3]) { //r[4] = 256 > r[3] ? 1 : 0;
                    /*17:  */r[4] = 0;
                    L18: do {
                        /*18:  */r[2] = r[4] + 1;
                        /*19:  */r[2] *= 256;
                        /*20:  */if (r[2] > r[3]) { //r[2] = r[2] > r[3] ? 1 : 0;
                            /*26:  */r[3] = r[4];
                            /*27:  */continue L8;//goto 8;
                        } else {
                            /*24:  */r[4]++;
                            /*25:  */continue L18;//goto 18;
                        }
                    } while (true);
                } else {
                    break L8;
                }
            } while (true);