pub exec fn array_index_get<T, const N: usize>(ar: &[T; N], i: usize) -> out : &T
0 <= i < N,
*out == ar@.index(i as int),