function initGlobals725() { 
}


function main508() { 
    initGlobals725();
    init_Test154();
}


function config123() { 
}


function init_Test154() { 
    foo_3199(1, 2, 3);
}


function foo_3199(integer ints_0189, integer ints_1209, integer ints_2176) { 
}