string test_s517 = "12345678
90"


function initGlobals114() { 
}


function main115() { 
    initGlobals114();
    init_test280();
}


function config150() { 
}


function init_test280() { 
}