array<integer> test_x_a125
integer foo_return_a102




function initGlobals212() { 
}


function main192() { 
    initGlobals212();
    init_test469();
}


function config131() { 
}


function init_test469() { 
    local integer a_a208
    local integer tuple_temp202
    local integer tuple_temp377
    tuple_temp_202 = 8;
    test_x_a_125[0] = tuple_temp_202;
    tuple_temp_377 = foo173(test_x_a_125[0]);
    a_a_208 = tuple_temp_377;
    if (a_a_208 == 2) {
        testSuccess201();
    } else {
    };
}


function foo173(integer t_a202) returns integer { 
    if (t_a_202 > 5) {
        foo_return_a_102 = 2;
        return foo_return_a_102;
    } else {
    };
    foo_return_a_102 = 3;
    return foo_return_a_102;
}


IS_NATIVE function testSuccess201() { 
}