integer test_a213


integer test_a213 = null<integer>
integer A_firstFree721 = 0
integer A_maxIndex445 = 0


function initGlobals296() { 
}


function main157() { 
    initGlobals296();
    init_test128();
}


function config455() { 
}


function init_test128() { 
    test_a_213 = null<integer>;
    if (not (test_a_213 != null<integer>)) {
        testSuccess282();
    } else {
    };
}


IS_NATIVE function testSuccess282() { 
}