integer test_a487


integer test_a487 = null<integer>
integer A_firstFree136 = 0
integer A_maxIndex153 = 0
integer wurst_stack_depth160 = 0


function initGlobals112() { 
}


function main563() { 
    initGlobals112();
    test_a_487 = null<integer>;
    if (test_a_487 == null<integer>) {
        testSuccess138();
    } else {
    };
}


function config186() { 
}


IS_NATIVE function testSuccess138() { 
}