Copyright
Digital Equipment Corp.
All rights reserved.
Default
.FLAGS UPPERCASE - Recognition of the Uppercase flag character (^) is turned on.