# output nondeterministic (shuffled).
resource d5()
	op worker(cap (int z) rep, int x)

	op rep(int z)
	worker(rep, 33)
	write("before rep")
	in rep(z) ->
		write("got",z)
	ni


	proc worker(rep,n)  {
		int  v 
		v = 7777
		write("worker before reply",n,v)
		reply
		write("worker after reply",n,v)
		send rep(n+v)
		write("worker after send rep",n,v)
	}
end
