Copyright
Digital Equipment Corp.
All rights reserved.
Default
.NO FLAGS BOLD - Recognition of the Bold flag character (*) is turned off.