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