/* FloatingPointPackage.c produced by Cinder of January 18, 2036 7:14:05 pm PST */

/* formerly from <cedar/InstallationSupport.h>: */
typedef unsigned XR_InterfacePtr;
typedef unsigned XR_GlobalFramePtr;
extern XR_InterfacePtr XR_ImportInterface ();
extern XR_InterfacePtr XR_ExportInterface ();
extern void XR_ExportProc ();
extern void XR_PushScope ();
extern void XR_HideNames ();
extern void XR_PopScope ();
extern void XR_PushRename ();
extern void XR_PopRename ();
extern void XR_ForgetName ();
extern void XR_ProhibitDuplicateExports ();
extern void XR_PermitDuplicateExports ();
extern void XR_AddControl ();
extern XR_GlobalFramePtr XR_FirstControl();
void XR_Start ();
static char versionStamp[] = "@(#)mob_version [2367640517,210328037] FloatingPointPackage.config";
static char configBuildTime[] = "@(#)configBuildTime September 2, 1993 5:43 pm PDT";
char XR_configBuildTime_FloatingPointPackage[] = "September 3, 1993 0:43 am GMT";

extern void XR_install_DRealSupportImpl();
extern void XR_install_DRealFnsImpl();
extern void XR_install_DSupportImpl();
extern void XR_install_DRealImpl();
extern void XR_install_FloatingPointImpl();
extern void XR_install_RealFnsImpl();
extern void XR_install_RealImpl();
extern void XR_install_RealSupportImpl();

static XR_GlobalFramePtr firstControl;

extern void XR_install_FloatingPointPackage() {
	XR_PushScope("FloatingPointPackage");
	XR_ImportInterface("RuntimeError", 0, 0);
	XR_ExportInterface("Real", 0, 0);
	XR_ExportInterface("DReal", 0, 0);
	XR_ExportInterface("DRealSupport", 0, 0);
	XR_ExportInterface("DRealFns", 0, 0);
	XR_ExportInterface("FloatingPointCommon", 0, 0);
	XR_ExportInterface("FloatingPointPrivate", 0, 0);
	XR_ExportInterface("RealSupport", 0, 0);
	XR_ExportInterface("RealFns", 0, 0);
	XR_HideNames();
	XR_install_DRealSupportImpl();
	XR_install_DRealFnsImpl();
	XR_install_DSupportImpl();
	XR_install_DRealImpl();
	XR_install_FloatingPointImpl();
	XR_install_RealFnsImpl();
	XR_install_RealImpl();
	XR_install_RealSupportImpl();
	XR_AddControl("RealImpl");
	XR_AddControl("DRealImpl");
	XR_AddControl("FloatingPointImpl");
	XR_AddControl("RealSupportImpl");
	XR_AddControl("RealFnsImpl");
	XR_AddControl("DRealSupportImpl");
	XR_AddControl("DRealFnsImpl");
	firstControl = XR_FirstControl();
	XR_PopScope();
}

extern void XR_run_FloatingPointPackage() { XR_StartCedarModule(firstControl); }

extern void XR_unload_FloatingPointPackage() { XR_Unload(firstControl); }