if (pushBackDepth >= pushBackInts.length - 1) {
int[] newInts = new int[pushBackInts.length * 2];
System.arraycopy(pushBackInts, 0, newInts, 0, pushBackInts.length);
if (pushBackDepth >= pushBackInts.length - 1) {
int[] newInts = new int[pushBackInts.length * 2];
System.arraycopy(pushBackInts, 0, newInts, 0, pushBackInts.length);