integer B_x639 = 1


function initGlobals761() { 
}


function main799() { 
    initGlobals761();
    testSuccess503();
}


function config191() { 
}


IS_NATIVE function testSuccess503() { 
}