integer test_a871


integer test_a871 = null<integer>
integer A_firstFree912 = 0
integer A_maxIndex558 = 0


function initGlobals107() { 
}


function main700() { 
    initGlobals107();
    init_test213();
}


function config210() { 
}


function init_test213() { 
    test_a_871 = null<integer>;
    if (not (test_a_871 != null<integer>)) {
        testSuccess758();
    } else {
    };
}


IS_NATIVE function testSuccess758() { 
}