class TEST create make feature {NONE} -- Creation make is -- Run test. local p: TYPED_POINTER [GUID] do p := p end end