resource b
	import c
	type X = rec(Y z1; Y z2)
body b()
end