Which three guarantee that a thread will leave the running state?