pub fn U32_from_U8(x: U8) -> U32