
  TYPE
    nat$preallocated_rb_control = record
      first_free_block: ALIGNED [0 MOD 8] nat$next_request_block_id,
      sequence_number: 0 .. 0ffffffffffff(16),
    recend;

*copyc nat$request_block_identifier
