
{ Index 1 into empty_pools_count and pools_replenished is the counter for
{ small containers and index 2 is the counter for large containers.

  TYPE
    nat$pp_buffer_pool_statistics = record
      replenish_pools_count: integer,
      empty_pools_count: array [1 .. 2] of array [1 .. 2] of integer,
      pools_replenished: array [1 .. 2] of integer,
    recend;
