Contract A
	Function A.f() (*)

