
  TYPE
    nat$request_block_allocation = record
      case preallocated: boolean of
      = TRUE =
        block_identifier: nat$request_block_identifier,

{       a value of zero (0) for next block identifier represents the end
{       of the free request block list.

        next_block_identifier: nat$next_request_block_id,
      casend,
    recend;

*copyc nat$request_block_identifier
