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

(* Last modified on Fri Feb 14 07:51:44 PST 1992 by kalsow     *)

MODULE RTArgs;
BEGIN
END RTArgs.