  TYPE
    nat$se_supervisory_event_queue = record
      beginning: ^nat$se_supervisory_element,
      ending: ^nat$se_supervisory_element,
    recend;

*copyc nat$se_supervisory_element
