The C++ library Loki