code: void read(RecordInput rin, String tag) throws IOException {
      // number of elements
      int numElems = rin.readInt(tag);
      for (int i=0; i<numElems; i++) {
        typeInfos.add(genericReadTypeInfo(rin, tag));
      }
    }
docs: /*
  deserialize ourselves. Called by RTI.