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