
  TYPE
    nat$subnet_identifier = 0 .. 0ffff(16);
