pub type cc_codepoint = cc_uint32;