array<integer> test_x_a271
integer foo_return_a616




function initGlobals111() { 
}


function main138() { 
    initGlobals111();
    test_x_a_271[0] = 8;
    if (foo702(test_x_a_271[0]) == 2) {
        testSuccess213();
    } else {
    };
}


function config334() { 
}


function foo702(integer t_a126) returns integer { 
    if (t_a_126 > 5) {
        foo_return_a_616 = 2;
        return foo_return_a_616;
    } else {
    };
    foo_return_a_616 = 3;
    return foo_return_a_616;
}


IS_NATIVE function testSuccess213() { 
}