Description of the illustration shutdown_dispatcher_clause.eps