An assertion library for C++