Footnotes

*** VAX is a trademark of Digital Equipment Corporation.