Include file:
#include "mcrl2/utilities/block_allocator.h"
mcrl2::utilities::block_allocator
mcrl2::utilities::block_allocator::rebind
mcrl2/utilities/bitstream.h
mcrl2/utilities/cache_metric.h