
 The general format of the BYE command is:

	BYE

 The user is logged off, any mounted devices are dismounted, any
 allocated devices are freed, any local or login assignments are
 deleted, and any non-privileged tasks are aborted.
 Other terminals under the same UIC are not affected.
