
  TYPE
    nlt$la_connection = record
      state: nlt$la_connection_state,
      subnet_id: nat$subnet_identifier,
      device_id: nlt$device_identifier,
      event_processor: nat$network_procedure,
      sap_id: nat$cn_sap_id,
    recend,

    nlt$la_connection_state = (nlc$la_closed, nlc$la_connect_confirm_wait, nlc$la_open);


*copyc nat$cn_interface
*copyc nat$network_procedure
*copyc nat$subnet_identifier
*copyc nlt$device_identifier
