contract C {
    fn f(u256[2]  c) -> (u256, u256) {
        u256[2]  m1 = c;
        return (m1[0], m1[1]);
    }
}
// ====
// compileToEwasm: also
// compileViaYul: also
// ----
// f(u256[2]): 43, 57  -> 43, 57