Include file:
#include "mcrl2/utilities/platform.h"
mcrl2/utilities/parse_numbers.h
mcrl2/utilities/power_of_two.h