class CHILD2 inherit PARENT rename index as position end create make feature p: MANAGED_POINTER end