integer A_x546 = 4


function initGlobals197() { 
}


function main712() { 
    initGlobals197();
    init_A116();
    init_B786();
}


function config153() { 
}


function init_A116() { 
}


function init_B786() { 
}