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