
{ Index 1 into containers_allocated and containers_freed is the counter for
{ small containers and index 2 is the counter for large containers.

  TYPE
    nat$buffer_manager_statistics = record
      containers_allocated: array [1 .. 2] of integer,
      containers_freed: array [1 .. 2] of integer,
      descriptor_pool_empty_count: integer,
    recend;

