/* 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); }