function initGlobals213() { 
}


function main165() { 
    local array<integer> a144
    initGlobals213();
    a_144[0] = 1;
    a_144[1] = 2;
    a_144[2] = 3;
    if (a_144[1] == 2) {
        testSuccess176();
    } else {
    };
}


function config134() { 
}


IS_NATIVE function testSuccess176() { 
}