
  TYPE
    nlt$tcp_assigned_port = record
      port: nat$sk_port_number,
      usage_count: 0 .. 0ff(16),  { ?? }
      owner: ost$global_task_id,
    recend;

*copyc nat$sk_port_number
*copyc ost$global_task_id
