pub fn full_width_mul(a: u64, b: u64) -> (u64, u64)