It's readily verified. I even pasted the original code, bro. Or you can login to a unixv7 system here, in browser: https://unix50.org/ Takes 30 seconds..
Disabling XQ
boot
Boot
: hp(0,0)unix
mem = 2020544
# RESTRICTED RIGHTS: USE, DUPLICATION, OR DISCLOSURE
IS SUBJECT TO RESTRICTIONS STATED IN YOUR CONTRACT WITH
WESTERN ELECTRIC COMPANY, INC.
WED DEC 31 19:15:05 EST 1969
login: root
Password:
You have mail.
# set -e
# true
# false
login: