pub fn char_utf32_string(c: char) -> String