# arrays of operations
# output nondeterministic.
resource array5()
	op a[1:10](int x)
	op p() {send}

	send p()
	co [ i = 10 downto 1 ]  a[i](100*i) oc

	proc p()  {
		for [ i = 1 to 10 ] {
			in a[i](x) ->
				write(333,i,x)
			[] a[11-i](x) ->
				write(444,i,x)
			ni
		}
	}
end