pub fn u128_from_pieces(hi: u64, lo: u64) -> u128