
 TYPE
   nlt$ethernet_addr_and_checksum = record
     system_identifier: nat$system_identifier,
     checksum: nat$checksum_value,
   recend;

*copyc nat$checksum
*copyc nat$system_identifier
