
  TYPE
    nat$network_selector = 0 .. 0ff(16);
