Copyright
Digital Equipment Corp.
All rights reserved.
Default
.NO FLAGS SUBSTITUTE - Recognition of the Substitute flag character ($) is turned off.