function initGlobals631() { 
}


function main337() { 
    local integer a998
    local integer b167
    local integer c809
    initGlobals631();
    a_998 = 0;
    c_809 = 0;
    loop {
        exitwhen (c_809 >= 1000);
        b_167 = ((a_998 + 2) - 1);
        if (b_167 < a_998) {
            c_809 = (c_809 + b_167);
        } else {
            c_809 = (c_809 - b_167);
        };
        a_998 = (b_167 * 4);
        b_167 = (a_998 + 1);
        a_998 = ((b_167 - 1) div 2);
        exitwhen (a_998 >= 20);
    };
    if (c_809 == -26) {
        testSuccess203();
    } else {
    };
}


function config212() { 
}


IS_NATIVE function testSuccess203() { 
}