contract c {
    fn test(u256[8]  a, u256[]  b, u256[5]  c, u256 a_index, u256 b_index, u256 c_index)
         -> (u256 av, u256 bv, u256 cv) {
        av = a[a_index];
        bv = b[b_index];
        cv = c[c_index];
    }
}
// ====
// compileToEwasm: also
// compileViaYul: also
// ----
// test(u256[8],u256[],u256[5],u256,u256,u256): 1, 2, 3, 4, 5, 6, 7, 8, 0x220, 21, 22, 23, 24, 25, 0, 1, 2, 3, 11, 12, 13  -> 1, 12, 23