Template metaprogramming examples in C++.