local
  e : SOMECLASS
do
  !SUBCLASS!e.make(...)
	-- An object of type SUBCLASS is created,
        -- initialized, attached to e, and then the
        -- creation procedure make  is called on e
end