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

(* Last modified on Wed Jul  1 21:19:07 1992 by rustan         *)

(* new interface KRML *)
UNSAFE INTERFACE RTStackRep;

(* This interface is marked as unsafe because mucking with the
   variables defined herein may damage the run-time system. *)

VAR
  doStackOverflowChecks: BOOLEAN := FALSE;
  (* set to TRUE as soon as currStackLow and currStackHigh have
     been assigned their initial values (in main body of RTStackKRML
     module) *)

END RTStackRep.