array<integer> test_x_a890
integer foo_return_a135




function initGlobals124() { 
}


function main103() { 
    initGlobals124();
    init_test572();
}


function config561() { 
}


function init_test572() { 
    local integer a_a947
    local integer tuple_temp146
    local integer tuple_temp169
    tuple_temp_146 = 8;
    test_x_a_890[0] = tuple_temp_146;
    tuple_temp_169 = foo916(test_x_a_890[0]);
    a_a_947 = tuple_temp_169;
    if (a_a_947 == 2) {
        testSuccess219();
    } else {
    };
}


function foo916(integer t_a137) returns integer { 
    if (t_a_137 > 5) {
        foo_return_a_135 = 2;
        return foo_return_a_135;
    } else {
    };
    foo_return_a_135 = 3;
    return foo_return_a_135;
}


IS_NATIVE function testSuccess219() { 
}