code: public VectorSize readVectorSize(VectorInfo info) throws IOException {
          // Always read the vector size
          int size = getInt();
  
          // For coordinate vectors we also read the number of entries
          if (info.isDense())
              return new VectorSize(size);
          else {
              int numEntries = getInt();
              return new VectorSize(size, numEntries);
          }
      }
docs: Reads in the size of a vector. Skips initial comments