(* 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.
