A debugging intrumentation and logging library for C++