contract C {
    u32[33] a;

    fn f() -> (u32, u32, u32) {
        a[0] = 2;
        a[16] = 3;
        a[32] = 4;
        u32[33]  m = a;
        return (m[0], m[16], m[32]);
    }
}
// ====
// compileToEwasm: also
// compileViaYul: also
// ----
// f()  -> 2, 3, 4