IMDB_PINNED_BUFFER_HISTORY 
	- Dump IMDB pinned buffer history (level = (dump_level << 16 | num_buffers))
Usage
-------
IMDB_PINNED_BUFFER_HISTORY( level           <ub4> default '1')