class TEST
feature
	make
		do
			-- The following code is commented out
			-- x := 1  -- Initialize to default value
			-- y := 2  -- Set `y' also
			
			z := 3	   -- Set `z'

			-----------------
			-- box example --
			-----------------
		end


end