class AA create make feature make local i: INTEGER c: CC do create c.make i := c (4) print ("Failed") end end