function initGlobals822() { 
}


function main135() { 
    initGlobals822();
    init_Test151();
}


function config462() { 
}


function init_Test151() { 
    if (foo158(3, 4) == 12) {
        testSuccess128();
    } else {
    };
}


IS_NATIVE function testSuccess128() { 
}


@config function foo158(integer x113, integer y100) returns integer { 
    return (x_113 * y_100);
}