class BB [G -> {CC [ANY], CC [ANY]} create make end] feature f local g: G do create g.make end end