NOTE!! For any other task 'pause()' would mean we have to get a signal to awaken, but task0 is the sole exception (see 'schedule()') as task 0 gets activated at every idle moment (when no other tasks can run). For task0 'pause()' just means we go check if some other task can run, and if not we return here.