array<integer> test_x_a731
integer foo_return_a115




function initGlobals510() { 
}


function main122() { 
    local integer a_a107
    local integer tuple_temp166
    local integer tuple_temp742
    initGlobals510();
    tuple_temp_166 = 8;
    test_x_a_731[0] = tuple_temp_166;
    tuple_temp_742 = foo151(test_x_a_731[0]);
    a_a_107 = tuple_temp_742;
    if (a_a_107 == 2) {
        testSuccess705();
    } else {
    };
}


function config745() { 
}


function foo151(integer t_a675) returns integer { 
    if (t_a_675 > 5) {
        foo_return_a_115 = 2;
        return foo_return_a_115;
    } else {
    };
    foo_return_a_115 = 3;
    return foo_return_a_115;
}


IS_NATIVE function testSuccess705() { 
}