/*
   * Fault detail
   * call-seq:
   *   fault.detail -> String
   */
  const char *detail() {