/* FloatingPointSoftPackage.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 [2052282586,3451155126] FloatingPointSoftPackage.config";
static char configBuildTime[] = "@(#)configBuildTime January 29, 1993 11:45 am PST";
char XR_configBuildTime_FloatingPointSoftPackage[] = "January 29, 1993 7:45 pm GMT";

extern void XR_install_RealImpl();
extern void XR_install_FloatingPointSoftImpl();
extern void XR_install_RealSupportImpl();
extern void XR_install_RealFnsImpl();

static XR_GlobalFramePtr firstControl;

extern void XR_install_FloatingPointSoftPackage() {
	XR_PushScope("FloatingPointSoftPackage");
	XR_ExportInterface("Real", 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_RealImpl();
	XR_install_FloatingPointSoftImpl();
	XR_install_RealSupportImpl();
	XR_install_RealFnsImpl();
	XR_AddControl("RealImpl");
	XR_AddControl("FloatingPointSoftImpl");
	XR_AddControl("RealSupportImpl");
	XR_AddControl("RealFnsImpl");
	firstControl = XR_FirstControl();
	XR_PopScope();
}

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

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