/// \example Profiling_tools/Profile_counter.cpp
