class AA create make feature make local b: BOOLEAN do b := f (1) b := g ("gobo") end f alias "[]" (i: INTEGER): BOOLEAN do end g alias "[]" (a: ANY): BOOLEAN do end end