integer test_x717


integer test_x717 = 0


function initGlobals706() { 
}


function main203() { 
    initGlobals706();
    init_test181();
}


function config839() { 
}


function init_test181() { 
    test_x_717 = 0;
    if foo190() {
    } else {
    };
    if (test_x_717 == 1) {
        testSuccess127();
    } else {
    };
}


function foo190() returns boolean { 
    if (test_x_717 == 0) {
        test_x_717 = 1;
        return true;
    } else {
    };
    return false;
}


IS_NATIVE function testSuccess127() { 
}