class TEST create make feature {NONE} -- Initialization make is local a: A -- {B} is not consumable b: B c: C do end end