/* CedarExtra.h */
/* Christian Jacobi  -  January 28, 1988 */
/* Christian Jacobi  -  August 12, 1988 */
/* Contract between compiler backend and runtime */
/* Russ Atkinson  -  July 6, 1989 */
	/* inserted pragma for XR_PushHandler */

/* Conceptional .h file as expected by compiler backend */
/* The real used .h file might implement certain procedures as macros */

#ifndef XR_C2C_runtime_version_5
#define XR_C2C_runtime_version_5
#ifdef XR_C2C_runtime_version_any
	an other version is defined; please crash the compiler
#endif
#define XR_C2C_runtime_version_any

extern void 		XR_DebugPutChar();

extern void 		XR_RaiseAbstractionFault();
extern unsigned 	XR_RaiseBoundsFault();
extern unsigned 	XR_RaiseArithmeticFault();

extern unsigned 	XR_UnnamedError;
extern unsigned  	XR_Unwind;
extern unsigned 	XR_Aborted;
extern unsigned 	XR_Uncaught;
extern unsigned 	XR_NarrowFault;

extern unsigned 	XR_PushHandler();
#pragma unknown_control_flow(XR_PushHandler)

extern void	 	XR_PopHandler();
extern void	 	XR_RaiseSignal();
extern void	 	XR_RaiseError();

extern unsigned 	XR_ExtensionAlloc();
extern unsigned 	XR_ExtensionFree();

extern void	 	XR_Fork();
extern unsigned 	XR_Join();
extern void	 	XR_Wait();
extern void 	 	XR_Notify();
extern void	 	XR_Broadcast();
extern void	 	XR_MonitorEntry();
extern void	 	XR_MonitorExit();

extern void	 	XR_MoveWords();
extern void	 	XR_MoveWordsDisjoint();
extern unsigned		XR_EqualWords();
extern void	 	XR_MoveBytesDisjoint();
extern unsigned 	XR_ExtractField();
extern void	 	XR_DepositField();
extern void	 	XR_MoveField();
extern unsigned 	XR_EqualFields();
extern void	 	XR_FillFields();
extern void	 	XR_FillWords();
extern void	 	XR_FillLongFields();
extern void	 	XR_FillLongWords();

extern void 		XR_AssignRef();
extern void 		XR_AssignRefInit();
extern void 		XR_AssignRefComposite();
extern void 		XR_AssignRefCompositeInit();
extern unsigned 	XR_NewObject();
extern unsigned 	XR_Narrow();
extern unsigned 	XR_GetReferentType();
extern unsigned 	XR_CheckProc();

/* all the floating procedures have parameters and returns of type unsigned! */ 
/* but the bits represent reals if the appropriate LOOPHOLE's (NOT cast) would be made */

extern unsigned		XR_SignedPwr();
extern unsigned		XR_UnsignedPwr();

extern unsigned		XR_FloatInt();
extern unsigned		XR_FloatCard();
extern unsigned		XR_RealNeg();
extern unsigned		XR_RealAdd();
extern unsigned		XR_RealSub();
extern unsigned		XR_RealMul();
extern unsigned		XR_RealDiv();
extern unsigned		XR_RealGt();
extern unsigned		XR_RealGe();
extern unsigned		XR_RealAbs();
	/* may re-evaluate argument if implemented as macro */
extern unsigned		XR_RealMin();
	/* may re-evaluate argument if implemented as macro */
extern unsigned		XR_RealMax();
	/* may re-evaluate argument if implemented as macro */
extern unsigned		XR_RealPwr();

#endif