
  TYPE
    nat$sk_socket_event = record
      CASE event_kind: nat$sk_socket_event_kind OF
      = nac$sk_await_data_available,
        nac$sk_await_clear_to_send =
        socket_id: nat$sk_socket_identifier,
      = nac$sk_await_socket_offer =
        source_job: jmt$system_supplied_name,
      = nac$sk_await_time =
        wait_time: integer,
      CASEND,
    recend;

*copyc jmt$system_supplied_name
*copyc nat$sk_socket_event_kind
*copyc nat$sk_socket_identifier
