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

(* Last modified on Mon Sep 14 14:36:48 PDT 1992 by rustan         *)

INTERFACE Csetjmp;		(* for DS3100 *)

FROM Ctypes IMPORT int;

TYPE jmp_buf = ARRAY [0..7] OF int;

(* new KRML *)
CONST SP_index = 0;
(* end KRML *)

(**************** KRML
<*EXTERNAL*> PROCEDURE setjmp (VAR env: jmp_buf): int;
<*EXTERNAL*> PROCEDURE longjmp (VAR env: jmp_buf; val: int);
************** KRML *)

<*EXTERNAL "setjmp" *>  PROCEDURE usetjmp (VAR env: jmp_buf): int;
<*EXTERNAL "longjmp" *> PROCEDURE ulongjmp (VAR env: jmp_buf; val: int);

END Csetjmp.