
  TYPE
   nlt$buffer_pool_status = (nlc$buffer_pool_empty, nlc$buffer_pool_below_threshold, nlc$buffer_pool_ok);
