function initGlobals137() { 
}


function main941() { 
    local integer a102
    local integer b173
    local integer c140
    local integer d908
    local integer e123
    initGlobals137();
    a_102 = 0;
    b_173 = 0;
    c_140 = 0;
    d_908 = 0;
    e_123 = 0;
    loop {
        exitwhen (not (c_140 < 1000));
        d_908 = (a_102 + 2);
        b_173 = (d_908 - 1);
        if (b_173 < a_102) {
            c_140 = (c_140 + b_173);
        } else {
            c_140 = (c_140 - b_173);
        };
        e_123 = (b_173 * 4);
        d_908 = (e_123 + 1);
        e_123 = (d_908 - 1);
        a_102 = (e_123 div 2);
        if (a_102 >= 20) {
            exitwhen true;
        } else {
        };
    };
    if (c_140 == -26) {
        testSuccess137();
    } else {
    };
}


function config658() { 
}


IS_NATIVE function testSuccess137() { 
}