integer x179 = 1


function initGlobals760() { 
}


function main172() { 
    initGlobals760();
    testSuccess542();
}


function config205() { 
}


IS_NATIVE function testSuccess542() { 
}