class C1(int p1);
class C2(S1 a10000, int a20000) : C1(a10000.F1);

record R1(int p1);
record R2(S1 a10000, int a20000) : R1(a10000.F1);

struct S1
{
    public int F1;
}