integer test_i751 = 5


function initGlobals811() { 
}


function main573() { 
    initGlobals811();
}


function config715() { 
}