Example: constexpr.cpp