actors $ ClockAgent :: do_step

	fun do_step do
		for a in agents do a.async.do_step
		nb_steps -= 1
	end