out.print("; offset: ");
out.print("; machine code offset: ");
  public final void printStackTrace(VM_Offset instructionOffset, 				    PrintLN out)   {    out.print("\tat ");    out.print(method.getDeclaringClass()); // VM_Class    out.print('.');    out.print(method.getName()); // a VM_Atom, returned via VM_MemberReference.getName().    out.print("(");    out.print(method.getDeclaringClass().getSourceName()); // a VM_Atom    int lineNumber = findLineNumberForInstruction(instructionOffset);    if (lineNumber <= 0) {      // unknown line      out.print("; offset: ");      out.printHex(instructionOffset.toInt());      out.println(")");    } else {      out.print(':');      out.print(lineNumber);    }    out.print(')');    out.println();  }