DBG_STATE_NUM
static const Msg state[DBG_STATE_NUM] = {
#if DBG_STATE_NUM != (DBG_STATE_RESOLVED + 1)
assert(type < DBG_STATE_NUM);