
  TYPE
    nat$sk_local_addresses = array [1..*] of nat$sk_local_address;

*copyc nat$sk_local_address
