Copyright
Digital Equipment Corp.
All rights reserved.
Default
.NO FLAGS HYPHENATE - Recognition of the Hyphenate flag character (=) is turned off.