string test_s530 = "12345678
90"


function initGlobals128() { 
}


function main153() { 
    initGlobals128();
}


function config156() { 
}