class AA create make feature make local b: BB [CC [INTEGER]] do create b b.f end end