Copyright (C) 1992, Digital Equipment Corporation
All rights reserved.
See the file COPYRIGHT for a full description.
Last modified on Tue Jun 16 13:08:45 PDT 1992 by muller
modified on Thu Nov 8 15:10:55 PST 1990 by brooks
MODULE Key;
BEGIN
END Key.