.\" Copyright (C) 1990, Digital Equipment Corporation
.\" All rights reserved.
.\" See the file COPYRIGHT for a full description.
.\"
.\" Last modified on Thu Jan  4 02:31:20 1990 by muller
.\"