function initGlobals760() { 
}


function main184() { 
    local integer a183
    local integer b175
    local integer c130
    local integer d142
    local integer e200
    initGlobals760();
    a_183 = 0;
    b_175 = 0;
    c_130 = 0;
    d_142 = 0;
    e_200 = 0;
    loop {
        exitwhen (not (c_130 < 1000));
        d_142 = (a_183 + 2);
        b_175 = (d_142 - 1);
        if (b_175 < a_183) {
            c_130 = (c_130 + b_175);
        } else {
            c_130 = (c_130 - b_175);
        };
        e_200 = (b_175 * 4);
        d_142 = (e_200 + 1);
        e_200 = (d_142 - 1);
        a_183 = (e_200 div 2);
        if (a_183 >= 20) {
            exitwhen true;
        } else {
        };
    };
    if (c_130 == -26) {
        testSuccess131();
    } else {
    };
}


function config494() { 
}


IS_NATIVE function testSuccess131() { 
}