/* Generated with C2C (Cedar To C)*/
/* Copyright (C) 1993 by Xerox Corporation.  All rights reserved. */
/* time: January 29, 1993 11:36:35 am PST */
/* C2C version: January 27, 1993 (sun4) */
/* ref-counting: off */
/* file: ProcessStackCheckImpl, module: ProcessStackCheckImpl */ 
/* switches: bcfhklnouw */ 
#include <cedar/InstallationSupport.h>
#include <cedar/CedarExtra.h>
#include <xr/Threads.h>
static char versionStamp[] = "@(#)mob_version [2721375279,572100943] ProcessStackCheckImpl";
typedef unsigned word, *ptr;
typedef unsigned char byte, *bPt;
typedef unsigned short half, *hPt;
#define SOURCE(p, l) /* source p, l */
static void NoName_Q120();
static void ProcessStackCheckImpl_P0();
static word StackPushTest_P60();
static struct {unsigned f; char r[16];} string1 = {851984, "\257\300\242\064\344\057\300\042\031\221\117\100\150\000\000"};
static struct {unsigned f; char r[16];} string2 = {851984, "\257\300\051\324\264\266\300\360\010\205\305\100\150\000\000"};
static struct {
   word f0[4]; word f4; word f5; word f6; 
   word f7[2]; 
   } globalframe = {
   {0}, (word) StackPushTest_P60, 0, (word) ProcessStackCheckImpl_P0, 
   {0}
   };

static void NoName_Q120()
   {
   register ptr gf_c09 =  (ptr) &globalframe;
   word var_c2840;
   (void) XR_DeclareGlobalFrame((word) "ProcessStackCheckImpl", &globalframe, (word) XR_GetTypeIndexS((word) (&string1)), (word) (
         ( (bPt) gf_c09)+24)/* var_c2744 */ );
   var_c2840 = (word) XR_ExportInterface((word) "ProcessStackCheck", (word) XR_GetTypeIndexS((word) (&string2)), 1);
   (* (( (ptr) gf_c09)+8)/* var_c2808 */  ) = var_c2840;
   (void) XR_ExportProcS(var_c2840, (word) (( (bPt) gf_c09)+16)/* var_c2712 */ , 67371009);
   }

static void ProcessStackCheckImpl_P0(formal_c06, formal_c05)
   word formal_c06;
   word formal_c05;
   {
   /* ProcessStackCheckImpl: */ 
   }

static word StackPushTest_P60(bytes_v2516)
   word bytes_v2516;
   {
   word var_c2560;
   /* StackPushTest: */ 
SOURCE(883, 90)
SOURCE(942, 31)
   return((word) XR_StackPushTest(bytes_v2516));
   }

/* file: ProcessStackCheckImpl, module: ProcessStackCheckImpl, compiled at: January 29, 1993 11:36:35 am PST */ 
extern void XR_install_ProcessStackCheckImpl() {
   NoName_Q120();
   }
extern void XR_run_ProcessStackCheckImpl() { XR_Start(&globalframe); }