After the prescribed time, the customer will wake up, proceed to the next statement, which will free Joe, and TERMINATE.
Після заданого часу, клієнт прокинеться, перейде до наступного твердження, яке звільнить Джо, і Terminate.