static int[] emptyIntArray_a = new int[0];
static int[] emptyIntArray() { ret emptyIntArray_a; }