Copyright
Digital Equipment Corp.
All rights reserved.
Default
.NO FLAGS CAPITALIZE - Recognition of the Capitalize flag character (<) is turned off.