array<integer> test_x_a101
integer foo_return_a183


integer wurst_stack_depth135 = 0


function initGlobals702() { 
}


function main334() { 
    initGlobals702();
    test_x_a_101[0] = 8;
    if (foo200(test_x_a_101[0]) == 2) {
        testSuccess138();
    } else {
    };
}


function config144() { 
}


function foo200(integer t_a437) returns integer { 
    if (t_a_437 > 5) {
        foo_return_a_183 = 2;
        return foo_return_a_183;
    } else {
    };
    foo_return_a_183 = 3;
    return foo_return_a_183;
}


IS_NATIVE function testSuccess138() { 
}