# $DBG_BRK_ID

Id of BRK channel which caused the last BREAK *exception event*. See
debug_model.