@dalias from what I read char32_t isn't actually guaranteed to be utf32 and also I couldn't find a way to print it