2 type Iface_1 is interface;
3 procedure op1(this : Iface_1) is abstract;
5 type Iface_2 is interface;
6 procedure op2 (this : Iface_2) is abstract;
8 type Root is new Iface_1 with record
12 procedure op1 (this : Root);
14 type DT is new Root and Iface_2 with null record;
15 procedure op2 (this : DT);