class TEST inherit TEST1 redefine f, h, k, x end create make feature {NONE} -- Creation make is -- Run test. local t: TEST1 do f (t) g (Current) h (Current) end f (a: TEST1) do end h (a: like Current) is do end k (a: STRING) is do end x: PATH_NAME end