class AA create make feature make local b: BB i: INTEGER do create b i := not b print ("Failed") end end