void ctl_task_die(void);
ctl_task_die terminates the currently executing task and schedules the next runnable task.