Debugging library for C++