pub fn lower_ascii(ch: u32) -> u32