array<integer> test_x_a122
integer foo_return_a171




function initGlobals104() { 
}


function main129() { 
    initGlobals104();
    init_test270();
}


function config335() { 
}


function init_test270() { 
    test_x_a_122[0] = 8;
    if (foo849(test_x_a_122[0]) == 2) {
        testSuccess146();
    } else {
    };
}


function foo849(integer t_a705) returns integer { 
    if (t_a_705 > 5) {
        foo_return_a_171 = 2;
        return foo_return_a_171;
    } else {
    };
    foo_return_a_171 = 3;
    return foo_return_a_171;
}


IS_NATIVE function testSuccess146() { 
}