C++ Template Metaprogramming in Practice