pub fn i256_into_pieces(i: I256) -> (i64, u64, u64, u64)