contract C {
    struct S1 {
        u256 a;
        u256 b;
    }
    struct S2 {
        u256 a;
        u256 b;
        S1 s;
        u256 c;
    }

    fn f(S2  s)
    -> (u256 a, u256 b, u256 sa, u256 sb, u256 c)
    {
        return (s.a, s.b, s.s.a, s.s.b, s.c);
    }
}

// ====
// compileToEwasm: also
// compileViaYul: also
// ----
// f((u256,u256,(u256,u256),u256)): 1, 2, 3, 4, 5  -> 1, 2, 3, 4, 5