Symbol: sbd_task_alloc