class A inherit X1 X2 feature f: ANY do Result := "A" end end