function initGlobals774() { 
}


function main407() { 
    local integer a207
    local integer b204
    local integer c964
    initGlobals774();
    a_207 = 0;
    c_964 = 0;
    loop {
        exitwhen (c_964 >= 1000);
        b_204 = ((a_207 + 2) - 1);
        if (b_204 < a_207) {
            c_964 = (c_964 + b_204);
        } else {
            c_964 = (c_964 - b_204);
        };
        a_207 = (b_204 * 4);
        b_204 = (a_207 + 1);
        a_207 = ((b_204 - 1) div 2);
        exitwhen (a_207 >= 20);
    };
    if (c_964 == -26) {
        testSuccess161();
    } else {
    };
}


function config164() { 
}


IS_NATIVE function testSuccess161() { 
}