pub fn u256_into_pieces(u: U256) -> (u64, u64, u64, u64)