Keep in mind that DOES-HALT does just that -- it halts.

• 要知道DOES-HALT仅仅是用来判断程序是否停机的。