Copyright
Digital Equipment Corp.
All rights reserved.
Default
.FLAGS SPACE - Recognition of the Space flag character (#) is turned on.