
  TYPE
    nat$request_block_identifier = 1 .. 0ffff(16),
    nat$next_request_block_id = 0 .. 0ffff(16);
