6. A constexpr function is guaranteed to have no undefined behaviour (when evaluated at compile time, anyway)