integer B_x639 = 1 function initGlobals761() { } function main799() { initGlobals761(); testSuccess503(); } function config191() { } IS_NATIVE function testSuccess503() { }