class A

create
	make

feature
	
	make
		local
			i: INTEGER
			n: like o_numeric
			s: STRING
			c: ANY
		do
			from
				i := 1
			until
				i > 5
			loop
				print ("[" + i.out + "] ")
				o_procedure
				print ("procedure=done%N")

				print ("[" + i.out + "] ")
				n := o_numeric
				print ("numeric=" + n.out + "%N")

				print ("[" + i.out + "] ")
				s := o_string
				print ("string=" + s.out + "%N")

				print ("[" + i.out + "] ")
				c := o_current
				print ("current=" + c.generator + "%N")
				i := i + 1
			end
		end

	o_procedure
		once ("OBJECT")
			print (" [Execute procedure] ")
		end

	o_numeric: INTEGER
		once ("OBJECT")
			print (" [Get numeric] ")
			Result := 123
		end

	o_string: STRING
		once ("OBJECT")
			print (" [Get string] ")
			Result := "a_string"
		end

	o_current: ANY
		once ("OBJECT")
			print (" [Get current] ")
			Result := Current
		end
		

end