Symbol: dr_dev_is_target