code: public synchronized void add(String k, String v) {
          grow();
          keys[nkeys] = k;
          values[nkeys] = v;
          nkeys++;
      }
docs: Adds a key value pair to the end of the
  header.  Duplicates are allowed