a = new java.lang.Object[new_length];
java.lang.Object[] a = new java.lang.Object[new_length];
    static void extend_array(java.lang.Object[] p0) {        if (p0 != null) {            int old_length = p0.length;            int new_length = old_length * 2 + 1;            a = new java.lang.Object[new_length];            int i = 0;            while (i < old_length) {                a[i] = p0[i];                i++;            }            p0 = null;            p0 = a;        } else {            System.out.println("ERROR: Could not extend array. The array is null.");        }    }