integer wurst_stack_depth161 = 0


function initGlobals192() { 
}


function main298() { 
    local integer a641
    local integer b191
    local integer c174
    initGlobals192();
    a_641 = 0;
    c_174 = 0;
    loop {
        exitwhen (c_174 >= 1000);
        b_191 = ((a_641 + 2) - 1);
        if (b_191 < a_641) {
            c_174 = (c_174 + b_191);
        } else {
            c_174 = (c_174 - b_191);
        };
        a_641 = (b_191 * 4);
        b_191 = (a_641 + 1);
        a_641 = ((b_191 - 1) div 2);
        exitwhen (a_641 >= 20);
    };
    if (c_174 == -26) {
        testSuccess738();
    } else {
    };
}


function config177() { 
}


IS_NATIVE function testSuccess738() { 
}