function initGlobals894() { 
}


function main123() { 
    local array<integer> a153
    local integer x673
    initGlobals894();
    a_153[0] = 1;
    a_153[1] = 2;
    a_153[2] = 3;
    x_673 = a_153[1];
    if (x_673 == 2) {
        testSuccess934();
    } else {
    };
}


function config177() { 
}


IS_NATIVE function testSuccess934() { 
}