class EURO
creation make
feature 
	make is
		do
			("Naively using € sign in a UTF8 string %N").print_on(std_output)
			(U"Euro € sign in a 'proper' unicode string%N").print_on(std_output)
			(U"The EURO sign is %/Ux20AC/, obtained using the %%/Ux20AC/ notation.%N").print_on(std_output)
			("Euro ¤ sign written in a terminal in ISO-8859-15 mode%N").print_on(std_output)
		end
	end