# test reply statements
# no output between calls to keep output determinstic.
resource rep1()
    op p1(int x)
    op p2(int y)
    op p3(int z)


    write(9999)
    call p1(1)
    call p2(3)
    call p3(2)
    write(-9999)


    proc p1(x)  {
	write(x)
	reply
	write(x)
	in p2(y) ->
	    write(y)
	    reply
	    in p3(z)->
		write(y+z)
	    ni
	ni
    }
end