halting and unhalting