function initGlobals430() { 
}


function main557() { 
    local integer x103
    local integer y127
    initGlobals430();
    x_103 = 3;
    y_127 = 4;
    if ((x_103 * y_127) == 12) {
        testSuccess678();
    } else {
    };
}


function config161() { 
}


IS_NATIVE function testSuccess678() { 
}