function initGlobals859() { 
}


function main213() { 
    initGlobals859();
    init_Test207();
}


function config184() { 
}


function init_Test207() { 
    if (foo157(3) == 5) {
        testSuccess216();
    } else {
    };
}


@ifnotdefined function foo157(integer x430) returns integer { 
    return (x_430 + 2);
}


IS_NATIVE function testSuccess216() { 
}