
  TYPE
    put$status_severity = (puc$normal_status, puc$informative_status,
      puc$warning_status, puc$error_status, puc$fatal_status,
      puc$catastrophic_status);


  TYPE
    puc$termination_error_level = puc$fatal_status;
