Copyright
Digital Equipment Corp.
All rights reserved.
Default
Recognition is turned off. To turn on recognition, you must use the .FLAGS BOLD command.