function initGlobals172() { 
}


function main894() { 
    initGlobals172();
    init_Test210();
}


function config651() { 
}


function init_Test210() { 
    if (foo921(3, 4) == 12) {
        testSuccess130();
    } else {
    };
}


IS_NATIVE function testSuccess130() { 
}


@config function foo921(integer x161, integer y164) returns integer { 
    return (x_161 * y_164);
}