integer test_a768


integer test_a768 = null<integer>
integer A_firstFree169 = 0
integer A_maxIndex109 = 0


function initGlobals154() { 
}


function main159() { 
    initGlobals154();
    init_test172();
}


function config194() { 
}


function init_test172() { 
    test_a_768 = null<integer>;
    if (test_a_768 == null<integer>) {
        testSuccess202();
    } else {
    };
}


IS_NATIVE function testSuccess202() { 
}