class TEST create default_create, make feature {NONE} -- Creation make do f (Current) end feature -- Access f (t: separate TEST) local a: A do a := t.w (t) a := t [t] a := t + t a := - t end w alias "[]" (z: separate TEST): A do end v alias "+" (z: separate TEST): A do end q alias "-": A do end end