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

(* Last modified on Wed Sep 23 10:36:40 PDT 1992 by rustan     *)

INTERFACE RTExceptSafe;

TYPE
  ExceptionName = UNTRACED REF INTEGER;

PROCEDURE ArgClass( e: ExceptionName ): INTEGER;

END RTExceptSafe.