function initGlobals167() { 
}


function main689() { 
    initGlobals167();
    init_test191();
}


function config468() { 
}


function init_test191() { 
    local integer a175
    local integer b129
    local integer c874
    a_175 = 0;
    c_874 = 0;
    loop {
        exitwhen (c_874 >= 1000);
        b_129 = ((a_175 + 2) - 1);
        if (b_129 < a_175) {
            c_874 = (c_874 + b_129);
        } else {
            c_874 = (c_874 - b_129);
        };
        a_175 = (b_129 * 4);
        b_129 = (a_175 + 1);
        a_175 = ((b_129 - 1) div 2);
        exitwhen (a_175 >= 20);
    };
    if (c_874 == -26) {
        testSuccess426();
    } else {
    };
}


IS_NATIVE function testSuccess426() { 
}