class TEST1

feature
	hamster (a: DOUBLE): like a
		do
			Result := 2.0 * a
		end

end