Copyright
Digital Equipment Corp.
All rights reserved.
Default
.FLAGS COMMENT - Recognition of the Comment flag character (!) is turned on.