integer test_x209 = 0
integer F_firstFree116 = 0
integer F_maxIndex403 = 0


function initGlobals132() { 
}


function main510() { 
    initGlobals132();
    init_test163();
}


function config776() { 
}


function init_test163() { 
}