if(debug>=3)System.out.println("addIntArrayElement: index "+index+" has value "+value+
if(debug>=5)System.out.println("addIntArrayElement: index "+index+" has value "+value+
  static public int[] addIntArrayElement(int[] array, int value, int index)   {    if(debug>=3)System.out.println("addIntArrayElement: index "+index+" has value "+value+                                   " length "+array.length);    if (index >= array.length) {      array = growIntArray(array, Math.max(array.length<<1,index+1));    }    array[index] = value;    return array;  }