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