function initGlobals203() { 
}


function main545() { 
    local integer a272
    local integer b239
    local integer c136
    initGlobals203();
    a_272 = 0;
    c_136 = 0;
    loop {
        exitwhen (c_136 >= 1000);
        b_239 = ((a_272 + 2) - 1);
        if (b_239 < a_272) {
            c_136 = (c_136 + b_239);
        } else {
            c_136 = (c_136 - b_239);
        };
        a_272 = (b_239 * 4);
        b_239 = (a_272 + 1);
        a_272 = ((b_239 - 1) div 2);
        exitwhen (a_272 >= 20);
    };
    if (c_136 == -26) {
        testSuccess195();
    } else {
    };
}


function config116() { 
}


IS_NATIVE function testSuccess195() { 
}