Doxygen EntryExitCounter.hpp