function initGlobals117() { 
}


function main159() { 
    initGlobals117();
    init_Test731();
}


function config738() { 
}


function init_Test731() { 
    foo_3962(1, 2, 3);
}


function foo_3962(integer ints_0204, integer ints_1211, integer ints_2239) { 
}