code: public void printVectorSize(VectorSize size, VectorInfo info) {
          format(Locale.ENGLISH, "%10d", size.size());
          if (info.isCoordinate())
              format(Locale.ENGLISH, " %19d", size.numEntries());
          println();
      }
docs: Prints the vector size