integer x312 = 4


function initGlobals122() { 
}


function main777() { 
    initGlobals122();
}


function config101() { 
}