Variable Index

*CBUFFER-POOL*
*CBUFFER-POOL-MAX-BUFFER-SIZE*
*CBUFFER-POOL-MAX-SIZE*: max num of buffers in pool
*CBUFFER-POOL-MIN-BUFFER-SIZE*: min size of buffers in pool
*CURRENT-FLAG-SYSTEM*
*FLAG-SYSTEMS*
*USE-CBUFFER-POOL*: .