inner_task_switch restored as it has to be!!!