resource a2()
	op game_over()
	process p1  {
		game_over()
		write("after 1st game over")
	}
	process work  {
		in game_over() ->
			reply
		ni
		write("leaving work process")
	}
end