Include file:
#include "mcrl2/utilities/stopwatch.h"
stopwatch
mcrl2/utilities/stack_array.h
mcrl2/utilities/tagged_pointer.h