Function bytes_from_i64_slice 

pub fn bytes_from_i64_slice(arr: &[i64]) -> Result<Vec<u8>, String>

Range-check a Vec<i64> (semantically Array<int> of bytes) into a Vec<u8>.

Each element must be in 0..=255. Returns an error message naming the out-of-range value on the first violation.