function initGlobals200() { 
}


function main329() { 
    local integer x508
    local integer y930
    initGlobals200();
    x_508 = 3;
    y_930 = 4;
    if ((x_508 * y_930) == 12) {
        testSuccess155();
    } else {
    };
}


function config661() { 
}


IS_NATIVE function testSuccess155() { 
}