C++ library implementing compile-time counters