Implementing the debug tag dispatching