Symbol: dce_opp_registers