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