note
	description: "[
			Test of prettify command
		]"

class
	TEST

inherit

	ANY

	ANY

	ANY

feature

	f
		local
			a: detachable separate like Current
			b: like twin.twin
			c: like {ANY}.out
			x, y: INTEGER
			s: attached STRING_32
		do
			s := {STRING_32} "foo"
		end

end