class TEST create make feature -- Initialization make is local p: PROCEDURE [ANY, TUPLE] do p := agent f (1, ?) -- p := agent f end -- f (i1: STRING) f (i1: INTEGER; i2: INTEGER) do end end -- class ROOT_CLASS