Symbol: idm_task_destructor