
  TYPE
    tmt$fault_status = (tmc$normal_fault_status, tmc$no_fault_present,
      tmc$invalid_fault_index);
