(* Copyright (C) 1990, Digital Equipment Corporation           *)
(* All rights reserved.                                        *)
(* See the file COPYRIGHT for a full description.              *)

(* Last modified on Thu Jan 30 09:45:28 PST 1992 by kalsow     *)

(* THIS MODULE MUST NOT IMPORT ANY OTHERS! *)

MODULE RT0;
BEGIN
END RT0.