added NORETURN to sched_task_exit()