Avoid using Task::regs() after the task has been killed --- we may not be able to get them.