// 13.ck : class inheritance

// define X
class X
{
    public void foo() { }
    int y;
    dur z;
}

// define Y
class Y extends X
{
    public void foo() { }
}

// instantiate a X
X x;

// instantiate a Y
Y y;

<<<"success">>>;
