integer x544 = 1 function initGlobals179() { } function main489() { initGlobals179(); init_B213(); } function config118() { } function init_B213() { testSuccess998(); } IS_NATIVE function testSuccess998() { }