code: public VectorSize readVectorCoordinateSize() throws IOException {
          int size = getInt(), numEntries = getInt();
  
          return new VectorSize(size, numEntries);
      }
docs: Reads in the size of a coordinate vector. Skips initial comments