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