code: public void append(int[] i) {
          // could simply delegate to the other append methods, but this
          // (avoiding repeated comparisions) is more efficient.
          while (currentSize + i.length > buffer.length) {
              grow();
          }
          System.arraycopy(i, 0, buffer, currentSize, i.length);
          currentSize += i.length;
      }
docs: Appends an array of ints.