class A_2_1 create make feature {NONE} -- Creation make -- Run test. local t: like Current do f (8) -- VUAR(2) f (1, 8) -- VUAR(2) f (2, 3, 8) -- VUAR(2) f ("a", 4, "b", 8) -- VUAR(2) t := Current t (8) -- VUAR(2) t (1, 8) -- VUAR(2) t (2, 3, 8) -- VUAR(2) t ("a", 4, "b", 8) -- VUAR(2) end feature f alias "()" (t: TUPLE [BOOLEAN]; k: INTEGER) do end end