added NORETURN to definition of `sched_task_return()`