Function read_n 

pub fn read_n<const N: usize>(arr: [[Field; 32]; N], t: usize) -> [Field; 32]

Read the t-th 32-bit word out of an N-word array (a constant-indexed copy of arr[t]).