format10(String str)
format10(String str) throws VM_PragmaInterruptible
   format10(String str)      {      int len = str.length();      return len < 10 ? "          ".substring(0, 10 - len) + str : str;      }