pub fn U128_from_U16(x: U16) -> U128