# late invocation
resource late()
	cap (int x) c

	bool  test = true
	if (test) {
		op p(int x)
		op q(int x)
		c = p
		send q(7777)
		in p(x) -> write(-1111,x)
		[] q(x) -> write(-2222,x); send c(8888)
		ni
		in p(x) -> write(-3333,x)
		[] q(x) -> write(-4444,x)
		ni
	} else {
		write(-5555)
	}
	send c(-9999) # should get complaint about being late.

end