resource c
	type Y = rec(int a,b)
body c()
end