Dispatch an event. On entry, the token is held by the caller. If an event is found to dispatch, the token is released before dispatching it.
source not stored for this graph (policy: none)
no test coverage detected