  TYPE
    nat$se_supervisory_element = record
      event: nat$se_peer_operation,
      next_element: ^nat$se_supervisory_element,
    recend;

*copyc nat$se_peer_operation
