double mb = Conversions.pagesToBytes(pages) / (1024.0 * 1024.0);
double mb = Conversions.pagesToBytes(pages).toWord().rshl(20).toInt();
  public static void writePages(int pages, int mode) {    double mb = Conversions.pagesToBytes(pages) / (1024.0 * 1024.0);    switch (mode) {      case PAGES: Log.write(pages); Log.write(" pgs"); break;       case MB:    Log.write(mb); Log.write(" Mb"); break;      case PAGES_MB: Log.write(pages); Log.write(" pgs ("); Log.write(mb); Log.write(" Mb)"); break;    case MB_PAGES: Log.write(mb); Log.write(" Mb ("); Log.write(pages); Log.write(" pgs)"); break;      default: VM_Interface.sysFail("writePages passed illegal printing mode");    }  }