Log.write(Conversions.pagesToBytes(Plan.getPagesUsed()).toWord().rshl(10).toInt());
Log.writeDec(Conversions.pagesToBytes(Plan.getPagesUsed()).toWord().rshl(10));
  private final void printPostStats() {    if ((verbose.getValue() == 1) || (verbose.getValue() == 2)) {      Log.write("-> ");      Log.write(Conversions.pagesToBytes(Plan.getPagesUsed()).toWord().rshl(10).toInt());      Log.write(" KB   ");      if (verbose.getValue() == 1) {        totalTime.printLast();        Log.writeln(" ms]");      } else {        Log.write("End ");         totalTime.printTotal();        Log.writeln(" ms]");      }    }    if (verbose.getValue() > 2) {      Log.write("   After Collection: ");      Space.printUsageMB();      if (verbose.getValue() >= 4) {          Log.write("                     ");          Space.printUsagePages();      }      Log.write("                     ");      printUsedPages();      Log.write("    Collection time: ");      totalTime.printLast();      Log.writeln(" seconds");    }  }