integer test_i751 = 5 function initGlobals811() { } function main573() { initGlobals811(); } function config715() { }