function initGlobals172() { 
}


function main531() { 
    initGlobals172();
    init_Test356();
}


function config138() { 
}


function init_Test356() { 
    foo_3123(1, 2, 3);
}


function foo_3123(integer ints_0191, integer ints_1174, integer ints_2140) { 
}