Symbol: DPLL_MULT_UNDERFLOW