Symbol: DPLL_REGISTERED