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