code: public void writeObject (ObjectOutputStream out)
          throws IOException
      {
          out.writeInt(_size);
          for (int ii = 0; ii < _size; ii++) {
              out.writeInt(_values[ii]);
          }
      }
docs: Writes our custom streamable fields.