deferred class
	TEST1

feature

	process_a (a: A) is
		deferred
		end

	process_b (a: A) is
		deferred
		end

end