array<integer> test_x_a537
integer foo_return_a153


integer wurst_stack_depth163 = 0


function initGlobals553() { 
}


function main627() { 
    initGlobals553();
    test_x_a_537[0] = 8;
    if (foo412(test_x_a_537[0]) == 2) {
        testSuccess173();
    } else {
    };
}


function config201() { 
}


function foo412(integer t_a806) returns integer { 
    if (t_a_806 > 5) {
        foo_return_a_153 = 2;
        return foo_return_a_153;
    } else {
    };
    foo_return_a_153 = 3;
    return foo_return_a_153;
}


IS_NATIVE function testSuccess173() { 
}