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