Symbol: DR_DEVS_RELEASED