Copyright
Digital Equipment Corp.
All rights reserved.
Default
.NO FLAGS BREAK - Recognition of the Break flag character (|) is turned off.