class TEST create make feature {NONE} -- Initialization make local l_io: ANY do if attached {ANY} io as a then l_io := a else check False end end end end