/* * Set the fault detail code * call-seq: * status.detail = 42 */ void set_detail(int detail) {