pub fn u8_from_U32(x: u8) -> U32