integer wurst_stack_depth269 = 0


function initGlobals369() { 
}


function main700() { 
    local integer a168
    local integer b859
    local integer c513
    initGlobals369();
    a_168 = 0;
    c_513 = 0;
    loop {
        exitwhen (c_513 >= 1000);
        b_859 = ((a_168 + 2) - 1);
        if (b_859 < a_168) {
            c_513 = (c_513 + b_859);
        } else {
            c_513 = (c_513 - b_859);
        };
        a_168 = (b_859 * 4);
        b_859 = (a_168 + 1);
        a_168 = ((b_859 - 1) div 2);
        exitwhen (a_168 >= 20);
    };
    if (c_513 == -26) {
        testSuccess187();
    } else {
    };
}


function config100() { 
}


IS_NATIVE function testSuccess187() { 
}