contract Test {
    u32[3][][4] data;

    fn set(u32[3][][4]  x)

    -> (u32[3][][4] )
    {
        x[1][2][2] = 1;
        x[1][3][2] = 7;
        return x;
    }

    fn f() -> (u32[3][] ) {
        return set(data)[1];
    }
}
// ====
// compileViaYul: also
// ----
// f()  -> 0x20, 0x04, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x07