class TEST inherit A undefine c1, e1 end B create make feature {NONE} -- Creation make -- Run test. do {TEST}.c1.do_nothing {TEST}.c2.do_nothing {TEST}.e1 {TEST}.e2 end end