char32_t should use an uppercase U as its prefix