out.print(classNameAsVM_Atom(this));  String msg = getMessage(); if (msg != null) { out.print(": "); out.print(msg); }
out.print(toString());
  void printMyClassAndMessage(PrintLN out, int depth) {    // depth is unused.    out.print(classNameAsVM_Atom(this));    /* Avoid diving into the contents of detailMessage since a subclass MIGHT     * override getMessage(). */    String msg = getMessage();    if (msg != null) {      out.print(": ");      out.print(msg);    }  }