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