class AA create make feature make local b: BOOLEAN do b := f end f alias "[]": BOOLEAN do end end