Function umul192_hi128 

pub(crate) fn umul192_hi128(x_hi: u64, x_lo: u64, y: u64) -> uint128