class TEST2

convert
	to_integer: {INTEGER}

feature
	to_integer: INTEGER = 47

end