integer A_firstFree195 = 0 integer A_maxIndex233 = 0 integer B_firstFree770 = 0 integer B_maxIndex811 = 0 integer wurst_stack_depth155 = 0 function initGlobals108() { } function main576() { initGlobals108(); testSuccess751(); } function config213() { } IS_NATIVE function testSuccess751() { }