class AA create make feature make local b: detachable BB [CC] do if b /= Void then b.f end print ("Failed") end end