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

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

end
