Add pointer safety tests and constexpr example