class AA create make feature make local b: BB [ANY] c: ANY do create b create c b.f (c) print ("Failed") end end