
  TYPE
    nat$sk_completed_event = record
      CASE completed_event_kind: nat$sk_completed_event_kind OF
      = nac$sk_completed_socket_events =
        socket_id: nat$sk_socket_identifier,
        connection_pending: boolean,
        data_available: boolean,
        clear_to_send: boolean,
        network_terminated: boolean,
      = nac$sk_completed_socket_offer =
        source_job: jmt$system_supplied_name,
      = nac$sk_completed_acc_soc_offer =
        socket: nat$sk_socket_identifier,
      = nac$sk_completed_time =
      CASEND,
    recend;

*copyc jmt$system_supplied_name
*copyc nat$sk_completed_event_kind
*copyc nat$sk_socket_identifier
