docs: private void trim(final int n) {
          if (n >= a.length || size == a.length) return;
          final char t[] = new char[Math.max(n, size)];
          System.arraycopy(a, 0, t, 0, size);
          a = t;
          //if (ASSERTS) assert size <= a.length;
      }