pub fn lower_unicode(ch: u32) -> u32