resource a1
	op p[1:5](int x) {send}
body a1()
	process q  {
		for [ i = 1 to 5 ] {
			in p[i](x) -> write("in",i,x) ni
		}
	}
end
resource a2
	import a1
body a2()

	write("initial a2")
	cap a1  c
	c = create a1()
	for [ i = 1 to 5 ] {
		send c.p[i](i*100)
	}

end