void TSDbgCtlDestroy(TSDbgCtl const *dbg_ctl); Destroys a TSDbgCtl created by a call to TSDbgCtlCreate().
This is needed so that the data structure containing all of the TSDbgCtl instances is not destroyed until all references to it have been destroyed. (The references are counted.)
