#include "M3Runtime.h"

typedef struct { int tc; char* str; int len; } TXT; PRIVATE TXT txt1 = { 3, "@ = @;\012if (", 12}; PRIVATE TXT txt2 = { 3, "@ < @", 6};
PRIVATE TXT txt3 = { 3, "@ > @", 6}; PRIVATE TXT txt4 = { 3, "(@ < @) ", 9}; PRIVATE TXT txt5 = { 3, "|| (@ < @)", 11}; PRIVATE TXT txt6 = { 3, ") RANGEFAULT;\012", 15};
PRIVATE TXT txt7 = { 3, "CHKL ", 6}; PRIVATE TXT txt8 = { 3, " ", 2}; PRIVATE TXT txt9 = { 3, "CHKH ", 6}; PRIVATE TXT txt10 = { 3, "CHKR ", 6};
#line 16 "../Interfaces/Type.i3"
#define t2 ADDRESS
#define t79 void
typedef int t5;
#line 116 ".ROOT/.boots/corelib/Interfaces/Wr.i3"
typedef struct { char* elts; int size[1]; } t64;
#line 16 "../Interfaces/Type.i3"
#define t52 t64
#define TC2 TC_Type__Map
IMPORT TYPE TC_Type__Map;
#line 16
IMPORT char VS_Type__Map__41dd9f4b33104fce; 
#define t11 ADDRESS
#define TC11 TC_NULL
IMPORT TYPE TC_NULL; IMPORT char VS_NULL__fb50c7d53bec30dc; 
#define t24 ADDRESS
#define TC24 TC_REFANY
IMPORT TYPE TC_REFANY; IMPORT char VS_REFANY__4b8748e831fc107a; 
#define t25 ADDRESS
#define TC25 TC_ADDRESS
IMPORT TYPE TC_ADDRESS; IMPORT char VS_ADDRESS__30f7308738738b44;
#line 17 "../Interfaces/Scope.i3"
#define t37 ADDRESS
#define t76 ADDRESS
 typedef struct { TYPE self; int private; } t76_methods; 
#define t76_msize (sizeof (t76_methods))
typedef struct { ADDRESS methods; } t76_fields; 
#define t76_size (sizeof (t76_fields))
#define TC76 TC_UNTRACED_ROOT
IMPORT TYPE TC_UNTRACED_ROOT; IMPORT char VS_UNTRACED_ROOT__3e0964513fd6da20;
#line 15 "../Interfaces/M3.i3"
#define t32 ADDRESS
#define TC32 TC_M3__Value
IMPORT TYPE TC_M3__Value;
#line 15
IMPORT char VS_M3__Value__6f64cf9c2cae25fb;
#line 17 "../Interfaces/Scope.i3"
#define t41 t64
#define TC37 TC_Scope__ValueList
IMPORT TYPE TC_Scope__ValueList;
#line 17
IMPORT char VS_Scope__ValueList__64bf053e22e4e53c;
#line 14 "./Expr.i3"
#define t46 ADDRESS
#define t7 ADDRESS
#define TC7 TC_M3__Expr
IMPORT TYPE TC_M3__Expr;
#line 16 "../Interfaces/M3.i3"
IMPORT char VS_M3__Expr__8ae39aaa2d432477;
#line 14 "./Expr.i3"
#define t47 t64
#define TC46 TC_Expr__List
IMPORT TYPE TC_Expr__List;
#line 14
IMPORT char VS_Expr__List__3f87eceb2b9a246a;
#line 17 "../Interfaces/Type.i3"
#define t50 ADDRESS
#define t6 ADDRESS
#define TC6 TC_M3__Type
IMPORT TYPE TC_M3__Type;
#line 18 "../Interfaces/M3.i3"
IMPORT char VS_M3__Type__4d87bc25311f81d2;
#line 17 "../Interfaces/Type.i3"
typedef struct { t50 _next; t6 _type; } t51; 
#define TC50 TC_Type__List
IMPORT TYPE TC_Type__List;
#line 17
IMPORT char VS_Type__List__5791758e343becc1; 
#define t66 ADDRESS
 typedef struct { TYPE self; int private; } t66_methods; 
#define t66_msize (sizeof (t66_methods))
typedef struct { ADDRESS methods; } t66_fields; 
#define t66_size (sizeof (t66_fields))
#define TC66 TC_ROOT
IMPORT TYPE TC_ROOT; IMPORT char VS_ROOT__349f58f628be0ac6; 
#define t66_MapProc TC_ROOT->mapProc
#define t1 ADDRESS
#define TC1 TC_Wr__T
IMPORT TYPE TC_Wr__T;
#line 90 ".ROOT/.boots/corelib/Interfaces/Wr.i3"
IMPORT char VS_Wr__T__2555b70b3f7780b1; 
#define t1_MapProc TC_Wr__T->mapProc
#define t3 ADDRESS

#line 14 "CheckExpr.m3"
typedef unsigned char t14;
#line 65 "../Interfaces/Emit.i3"
typedef t79 (*t4)();
#line 19 "../Interfaces/M3.i3"
#define t9 ADDRESS
#define TC9 TC_M3__Temp
IMPORT TYPE TC_M3__Temp;
#line 19
IMPORT char VS_M3__Temp__450b691937f03dae;
#line 31 "./ExprRep.i3"
typedef t9 (*t10)();
#line 24
typedef t7 (*t8)(); typedef unsigned char t12;
#line 44
typedef t12 (*t13)();
#line 17 "CheckExpr.m3"
typedef struct { int filler; } t3_methods; 
#define t3_msize (sizeof (t3_methods))
typedef struct {
#line 17
 t7 _expr; t5 _min; t5 _max; t14 _class; } t3_fields; 
#define t3_size (sizeof (t3_fields))
PRIVATE void t3_InitProc ();
#line 17
PRIVATE void t3_SetupProc (); PRIVATE void t3_PrintProc (); PRIVATE typecell t3_TC; PRIVATE typecell t3_TC_init = {0, 0, 0, 0, 0, (PROC)NIL,
#line 17
  t3_size, t3_msize, NIL, 0, 0, t3_InitProc,   t3_SetupProc,   t3_PrintProc, "", 601867849, 859540359}; PRIVATE TYPE TC3 = &t3_TC;  
#define t15 ADDRESS
#define TC15 TC_TEXT
IMPORT TYPE TC_TEXT; IMPORT char VS_TEXT__b7a92447326386f5; 
#define t15_MapProc TC_TEXT->mapProc
#define t16 t64
typedef t15 (*t17)();
#line 13 ".ROOT/.boots/corelib/Interfaces/Fmt.i3"
typedef unsigned char t18; typedef unsigned char t19; typedef int t20; typedef double t21; typedef float t22;
typedef signed_char t23;
typedef unsigned char t26;
#line 27 "../Interfaces/Emit.i3"
typedef signed_char t27;
#line 63
typedef t27 (*t28)();
#line 19 "../Interfaces/String.i3"
typedef signed_char t58;
#line 13
#define t31 ADDRESS
#define TC31 TC_String__T
IMPORT TYPE TC_String__T;
#line 13
IMPORT char VS_String__T__3a6c7dc12615e4ee;
#line 65 "../Interfaces/Token.i3"
#define t53 t64
typedef struct { t31 elts[100]; } t59;
#line 17 "../Interfaces/String.i3"
typedef struct { t5 _top; t59 _stk; } t29;
#line 16 "../Interfaces/Variable.i3"
#define t30 ADDRESS
#define TC30 TC_Variable__T
IMPORT TYPE TC_Variable__T;
#line 16
IMPORT char VS_Variable__T__be7ead4a3afd8be5;
#line 14 "../Interfaces/M3.i3"
#define t33 ADDRESS
#define TC33 TC_M3__Scope
IMPORT TYPE TC_M3__Scope;
#line 14
IMPORT char VS_M3__Scope__6e6d8848308d8a2d;
#line 24 "../Interfaces/Variable.i3"
typedef t30 (*t34)();
#line 14 "../Interfaces/Decl.i3"
typedef struct { t31 _alias; t12 _isExternal; t12 _isInline; t12 _isUnused; t12 _isObsolete; } t35;
#line 15 "../Interfaces/Token.i3"
typedef unsigned char t54;
#line 45
typedef struct { int elts[4]; } t36;
#line 14 "../Interfaces/String.i3"
typedef struct { t31 _module; t31 _item; } t38;
#line 38 "../Interfaces/Scope.i3"
typedef t32 (*t39)();
#line 31
typedef t33 (*t40)();
#line 45 "../Interfaces/Value.i3"
typedef t6 (*t42)();
#line 18
typedef unsigned char t43;
#line 40
typedef t43 (*t44)();
#line 13 "./ExprRep.i3"
#define t45 ADDRESS

#line 13
typedef struct { t4 _bind; t4 _check; t4 _write; t13 _isEqual; t8 _evaluate; t4 _getBounds; t13 _isWritable; t13 _isDesignator;
#line 13
   t13 _isZeroes; t4 _genLiteral; t4 _fprint; t10 _compile; } t45_methods; 
#define t45_msize (sizeof (t45_methods))
typedef struct {
#line 13
 t5 _origin; t6 _type; t12 _bound; t12 _inCheck; t12 _checked; } t45_fields; 
#define t45_size (sizeof (t45_fields))
#define TC45 TC_M3__Expr
typedef t2 (*t48)();
#line 97 "../Interfaces/Type.i3"
typedef t5 (*t49)();
#line 65 "../Interfaces/Token.i3"
typedef struct { t31 elts[97]; } t55;
#line 34 "../Interfaces/String.i3"
typedef t31 (*t56)();
#line 28
#define t57 t64
typedef signed_char t60;
#line 67 ".ROOT/.boots/corelib/Interfaces/Text.i3"
typedef t60 (*t61)();
#line 26
typedef t20 (*t62)();
#line 23
typedef t19 (*t63)();
#line 91 ".ROOT/.boots/corelib/Interfaces/Wr.i3"
typedef unsigned char t65;
#line 15 ".ROOT/.boots/corelib/Interfaces/Thread.i3"
#define t67 ADDRESS
#define TC67 TC_Thread__T
IMPORT TYPE TC_Thread__T;
#line 15
IMPORT char VS_Thread__T__2555b70b3f7780b1; 
#define t67_MapProc TC_Thread__T->mapProc
typedef t24 (*t68)();



#define t69 ADDRESS
#define TC69 TC_Thread__Condition
IMPORT TYPE TC_Thread__Condition;
#line 21
IMPORT char VS_Thread__Condition__26d5968239e08f4e; 
#define t69_MapProc TC_Thread__Condition->mapProc
#define t70 ADDRESS
#define TC70 TC_MUTEX
IMPORT TYPE TC_MUTEX; IMPORT char VS_MUTEX__1f9d4e89391ab815; 
#define t70_MapProc TC_MUTEX->mapProc
typedef t67 (*t71)();
#line 23
#define t72 ADDRESS

#line 23
typedef struct { t68 _apply; } t72_methods; 
#define t72_msize (sizeof (t72_methods))
typedef struct {
#line 23
 int filler; } t72_fields; 
#define t72_size (sizeof (t72_fields))
#define TC72 TC_Thread__Closure
IMPORT TYPE TC_Thread__Closure;
#line 23
IMPORT char VS_Thread__Closure__7fb5c6232c5a658a; 
#define t72_MapProc TC_Thread__Closure->mapProc
typedef t69 (*t73)();





typedef t70 (*t74)();
#line 28
#define t75 ADDRESS

#line 28
typedef struct { int filler; } t75_methods; 
#define t75_msize (sizeof (t75_methods))
typedef struct {
#line 28
 t20 _stackSize; } t75_fields; 
#define t75_size (sizeof (t75_fields))
#define TC75 TC_Thread__SizedClosure
IMPORT TYPE TC_Thread__SizedClosure;
#line 28
IMPORT char VS_Thread__SizedClosure__8a46717d2eae7b07; 
#define t75_MapProc TC_Thread__SizedClosure->mapProc
#define t77 ADDRESS
#define TC77 TC_M3__Stmt
IMPORT TYPE TC_M3__Stmt;
#line 17 "../Interfaces/M3.i3"
IMPORT char VS_M3__Stmt__376b307627fc1f2f; typedef CLOSURE t78;
#line 9 "CheckExpr.m3"
IMPORT INITLINK* Fmt__init; IMPORT INITLINK* Wr__init; IMPORT INITLINK* Temp__init; IMPORT INITLINK* EnumExpr__init; IMPORT INITLINK* IntegerExpr__init;
#line 9
IMPORT INITLINK* Emit__init; IMPORT INITLINK* Type__init; IMPORT INITLINK* ExprRep__init; IMPORT INITLINK* Expr__init; IMPORT INITLINK* CheckExpr__init;
#line 9
 IMPORT t15 _Fmt__Int (); IMPORT char VS_Fmt__Int__6e220fa1366cffbc;   IMPORT EXCEPTION_NAME _Thread__Alerted; IMPORT char VS_Thread__Alerted__fc88feb43485af46;
#line 9
IMPORT EXCEPTION_NAME _Wr__Failure; IMPORT char VS_Wr__Failure__5f82cfb43dabf527; IMPORT EXCEPTION_NAME _Wr__Error; IMPORT char VS_Wr__Error__c367253d3ed4fd15;
#line 9
IMPORT t79 _Wr__PutText (); IMPORT char VS_Wr__PutText__e034dab73a793846;   IMPORT TYPE TC_Temp__T; IMPORT char VS_Temp__T__3a6c7dc12615e4ee;
#line 9
IMPORT t9 _Temp__Alloc (); IMPORT char VS_Temp__Alloc__0b946c9d3ec0974e; IMPORT t79 _Temp__Free (); IMPORT char VS_Temp__Free__3b952a2225c26846;
#line 9
  IMPORT t12 _EnumExpr__Split (); IMPORT char VS_EnumExpr__Split__cac875982d1549f5;   IMPORT t12 _IntegerExpr__Split (); IMPORT char VS_IntegerExpr__Split__132919062838cba6;
#line 9
  IMPORT char VS_Emit__MaxStream__cf0a0e8934c9c9f3; IMPORT TYPE TC_Emit__Format; IMPORT char VS_Emit__Format__bc4a2b083b93bbd7;
#line 9
IMPORT t79 _Emit__Op (); IMPORT char VS_Emit__Op__072646cc27c8ae10; IMPORT t79 _Emit__OpTT (); IMPORT char VS_Emit__OpTT__cba0ce912431e01c;
#line 9
IMPORT t79 _Emit__OpTI (); IMPORT char VS_Emit__OpTI__af828b1c28578815; IMPORT t79 _Emit__OpIT (); IMPORT char VS_Emit__OpIT__1322d0f925e21d92;
#line 9
  IMPORT TYPE TC_Type__T; IMPORT char VS_Type__T__2446b70b3f7780a5;   IMPORT t79 _ExprRep__Init (); IMPORT char VS_ExprRep__Init__8b7fff3e227cebab;
#line 9
IMPORT t79 _ExprRep__NoBind (); IMPORT char VS_ExprRep__NoBind__e7d0d3dd3d703c08; IMPORT t79 _ExprRep__NoCheck (); IMPORT char VS_ExprRep__NoCheck__c11b54bc361794fa;
#line 9
IMPORT t7 _ExprRep__NoValue (); IMPORT char VS_ExprRep__NoValue__8ccc143224598a66; IMPORT t79 _ExprRep__NoBounds (); IMPORT char VS_ExprRep__NoBounds__b64bb146289ee4f0;
#line 9
IMPORT t12 _ExprRep__IsNever (); IMPORT char VS_ExprRep__IsNever__8f1a069b301903c8; IMPORT t12 _ExprRep__NeverEq (); IMPORT char VS_ExprRep__NeverEq__dfdc2412249ccb65;
#line 9
IMPORT t79 _ExprRep__NoWriter (); IMPORT char VS_ExprRep__NoWriter__a97bb1a23bbf506e; IMPORT t79 _ExprRep__NoLiteral (); IMPORT char VS_ExprRep__NoLiteral__6c9c90073f496f67;
#line 9
  IMPORT TYPE TC_Expr__T; IMPORT char VS_Expr__T__2446b70b3f7780a5; IMPORT t79 _Expr__Bind (); IMPORT char VS_Expr__Bind__7e2752da3eaf56eb;
#line 9
IMPORT t6 _Expr__TypeOf (); IMPORT char VS_Expr__TypeOf__fef0a11b388c64fa; IMPORT t7 _Expr__ConstValue (); IMPORT char VS_Expr__ConstValue__ce4fd448218fe483;
#line 9
IMPORT t79 _Expr__GetBounds (); IMPORT char VS_Expr__GetBounds__b20ec781333da5e4; IMPORT t79 _Expr__TypeCheck (); IMPORT char VS_Expr__TypeCheck__af9aa9073729e7f7;
#line 9
IMPORT t9 _Expr__Compile (); IMPORT char VS_Expr__Compile__a7e0cc4029a2ec76; IMPORT t12 _Expr__IsEqual (); IMPORT char VS_Expr__IsEqual__062d8b2c385e35a9;
#line 9
IMPORT t79 _Expr__Fingerprint (); IMPORT char VS_Expr__Fingerprint__50ce687c31d90a5b;   EXPORT t7 _CheckExpr__New (); EXPORT char VS_CheckExpr__New__a74553ee326c8302 = '\0';
#line 9
EXPORT t7 _CheckExpr__NewLower (); EXPORT char VS_CheckExpr__NewLower__5e10e5102119d155 = '\0'; EXPORT t7 _CheckExpr__NewUpper ();
#line 9
EXPORT char VS_CheckExpr__NewUpper__0c1ccd9a3f5bc373 = '\0'; PRIVATE TYPE TC_CheckExpr__P; PRIVATE t7 _CheckExpr__Create ();
#line 9
PRIVATE t79 _CheckExpr__Bind (); PRIVATE t79 _CheckExpr__Check (); PRIVATE t12 _CheckExpr__EqCheck (); PRIVATE t9 _CheckExpr__Compile ();
#line 9
PRIVATE t7 _CheckExpr__Fold (); PRIVATE t79 _CheckExpr__Bounder (); PRIVATE t79 _CheckExpr__FPrinter ();  IMPORT char VS_M3__Expr__58bf709e39adf1f7;
#line 9
   
#line 37 "CheckExpr.m3"
 EXPORT t7 _CheckExpr__New (_a, _min, _max) t7 _a; t5 _min; t5 _max; { t7 z5;
#line 37 "CheckExpr.m3"
{ auto t7 __result; { CHECKSTACKOVERFLOW;

      z5 = _CheckExpr__Create (_a, _min, _max,  2 ); __result = z5; return __result; } } };
#line 42 "CheckExpr.m3"
 EXPORT t7 _CheckExpr__NewLower (_a, _min) t7 _a; t5 _min; { t7 z5;
#line 42 "CheckExpr.m3"
{ auto t7 __result; { CHECKSTACKOVERFLOW;

      z5 = _CheckExpr__Create (_a, _min,  0 ,  0 ); __result = z5; return __result; } } };
#line 47 "CheckExpr.m3"
 EXPORT t7 _CheckExpr__NewUpper (_a, _max) t7 _a; t5 _max; { t7 z5;
#line 47 "CheckExpr.m3"
{ auto t7 __result; { CHECKSTACKOVERFLOW;

      z5 = _CheckExpr__Create (_a,  0 , _max,  1 ); __result = z5; return __result; } } };
#line 52 "CheckExpr.m3"
 PRIVATE t7 _CheckExpr__Create (_a, _min, _max, _c) t7 _a; t5 _min; t5 _max; t14 _c; { t3 z0; t3 z2;
#line 52 "CheckExpr.m3"
{ auto t3 _p; auto t7 __result; {
      ZERO1  (& _p);
#line 52
      CHECKSTACKOVERFLOW;


      { register char** ptr = (char**) UNEWOBJ (TC3); z0 = (t3) ptr; }; _p = z0;
      _ExprRep__Init (_p);
      NILCHECKA (z2 = _p); (((t3_fields*)(z2+(0+t45_size+t76_size)))->_expr) = _a;
      NILCHECKA (z2 = _p); (((t3_fields*)(z2+(0+t45_size+t76_size)))->_min) = _min;
      NILCHECKA (z2 = _p); (((t3_fields*)(z2+(0+t45_size+t76_size)))->_max) = _max;
      NILCHECKA (z2 = _p); (((t3_fields*)(z2+(0+t45_size+t76_size)))->_class) = _c;
      __result = _p; return __result; } } };
#line 64 "CheckExpr.m3"
 PRIVATE t79 _CheckExpr__Bind (_p) t3 _p; { t3 z2; t6 z3; t3 z1;
#line 64 "CheckExpr.m3"
{ { CHECKSTACKOVERFLOW;

      NILCHECKA (z2 = _p); _Expr__Bind ((((t3_fields*)(z2+(0+t45_size+t76_size)))->_expr));
      NILCHECKA (z2 = _p); z3 = _Expr__TypeOf ((((t3_fields*)(z2+(0+t45_size+t76_size)))->_expr)); NILCHECKA (z1 = _p); (((t45_fields*)(z1+(0+t76_size)))->_type) = z3;
#line 67
      } } };
#line 70 "CheckExpr.m3"
 PRIVATE t79 _CheckExpr__Check (_p) t3 _p; { t3 z2;
#line 70 "CheckExpr.m3"
{ { CHECKSTACKOVERFLOW;

      NILCHECKA (z2 = _p); _Expr__TypeCheck ((((t3_fields*)(z2+(0+t45_size+t76_size)))->_expr)); } } };
#line 75 "CheckExpr.m3"
 PRIVATE t12 _CheckExpr__EqCheck (_a, _e) t3 _a; t7 _e; { t3 z1; t3 z3; t12 z4; t12 z0; t3 z2; t3 z5; t12 z6;
#line 75 "CheckExpr.m3"
{ auto t12 __result; { ZERO1B (& __result); CHECKSTACKOVERFLOW;

      { register ADDRESS ref = (ADDRESS) _e; register int tc = TYPECODE (ref); if (tc == 0) goto tc0_0; if (ISSUBTYPE (tc, TC3)) goto tc0_1;
#line 77
         goto tc0_else; tc0_0:; __result =  0 ;
            return __result; tc0_1:; { auto t3 _b; {
                  ZERO1  (& _b);
#line 78
                  _b = (t3) ref;
                  NILCHECKA (z1 = _a); NILCHECKA (z3 = _b); z4 = ((((t3_fields*)(z1+(0+t45_size+t76_size)))->_class) == (((t3_fields*)(z3+(0+t45_size+t76_size)))->_class));
#line 79
                  z0 = 0; if (z4) { NILCHECKA (z2 = _a); NILCHECKA (z5 = _b); z4 = ((((t3_fields*)(z2+(0+t45_size+t76_size)))->_min) == (((t3_fields*)(z5+(0+t45_size+t76_size)))->_min));
#line 79
                     z0 = z4; }; z4 = 0; if (z0) { NILCHECKA (z1 = _a); NILCHECKA (z3 = _b); z6 = ((((t3_fields*)(z1+(0+t45_size+t76_size)))->_max) == (((t3_fields*)(z3+(0+t45_size+t76_size)))->_max));
#line 79
                     z4 = z6; }; z0 = 0; if (z4) { NILCHECKA (z3 = _a); NILCHECKA (z5 = _b); z6 = _Expr__IsEqual ((((t3_fields*)(z3+(0+t45_size+t76_size)))->_expr), (((t3_fields*)(z5+(0+t45_size+t76_size)))->_expr));
#line 79
                     z0 = z6; }; __result = z0; return __result; } } tc0_else:; __result =  0 ;



            return __result; tc0_exit:; }; } } };
#line 87 "CheckExpr.m3"
 PRIVATE t9 _CheckExpr__Compile (_p) t3 _p; { t3 z2; t9 z3; t3 z1; t3 z4;
#line 87 "CheckExpr.m3"
{ auto t9 _t1; auto t9 _t2; auto t9 __result; { CHECKSTACKOVERFLOW;


      NILCHECKA (z2 = _p); z3 = _Expr__Compile ((((t3_fields*)(z2+(0+t45_size+t76_size)))->_expr)); _t1 = z3;
      z3 = _Temp__Alloc (_p); _t2 = z3;
      _Emit__OpTT (((ADDRESS)(& txt1.str)), _t2, _t1);
      NILCHECKA (z1 = _p); switch ((((t3_fields*)(z1+(0+t45_size+t76_size)))->_class)) { case 0: NILCHECKA (z4 = _p);
         _Emit__OpTI (((ADDRESS)(& txt2.str)), _t2, (((t3_fields*)(z4+(0+t45_size+t76_size)))->_min)); break; case 1: NILCHECKA (z4 = _p);
         _Emit__OpTI (((ADDRESS)(& txt3.str)), _t2, (((t3_fields*)(z4+(0+t45_size+t76_size)))->_max)); break; case 2: NILCHECKA (z4 = _p);
         _Emit__OpTI (((ADDRESS)(& txt4.str)), _t2, (((t3_fields*)(z4+(0+t45_size+t76_size)))->_min));
         NILCHECKA (z4 = _p); _Emit__OpIT (((ADDRESS)(& txt5.str)), (((t3_fields*)(z4+(0+t45_size+t76_size)))->_max), _t2);
#line 97
         break; default: /**/; };

      _Emit__Op (((ADDRESS)(& txt6.str)));
      _Temp__Free (_t1);
      __result = _t2; return __result; } } };
#line 104 "CheckExpr.m3"
 PRIVATE t7 _CheckExpr__Fold (_p) t3 _p; { t3 z2; t7 z3; t12 z4; t12 z0; t12 z1; t12 z5;
#line 104 "CheckExpr.m3"
{ auto t7 _e; auto t5 _i; auto t6 _t; auto t7 __result; { CHECKSTACKOVERFLOW;


      NILCHECKA (z2 = _p); z3 = _Expr__ConstValue ((((t3_fields*)(z2+(0+t45_size+t76_size)))->_expr)); _e = z3;
      z4 = (_e == 0); if (z4) { __result = 0; return __result; };
      z4 = _IntegerExpr__Split (_e, &_i); z0 = ! z4; z1 = 0; if (z0) { z5 = _EnumExpr__Split (_e, &_i, &_t); z0 = ! z5; z1 = z0;
#line 109
 }; if (z1) {

         __result = 0; return __result; };

      NILCHECKA (z2 = _p); switch ((((t3_fields*)(z2+(0+t45_size+t76_size)))->_class)) { case 0: NILCHECKA (z2 = _p);
         z4 = ((((t3_fields*)(z2+(0+t45_size+t76_size)))->_min) > _i); if (z4) { __result = 0; return __result; }; break;
#line 114
 case 1: NILCHECKA (z2 = _p);
         z4 = ((((t3_fields*)(z2+(0+t45_size+t76_size)))->_max) < _i); if (z4) { __result = 0; return __result; }; break;
#line 115
 case 2: NILCHECKA (z2 = _p);
         z4 = (_i < (((t3_fields*)(z2+(0+t45_size+t76_size)))->_min)); z0 = 1; if (! z4) { NILCHECKA (z2 = _p); z4 = ((((t3_fields*)(z2+(0+t45_size+t76_size)))->_max) < _i);
#line 116
            z0 = z4; }; if (z0) { __result = 0; return __result; }; break; default: /**/; };

      __result = _e; return __result; } } };
#line 121 "CheckExpr.m3"
 PRIVATE t79 _CheckExpr__Bounder (_p, _min, _max) t3 _p; t5 * _min; t5 * _max; { t3 z2; t3 z1; t5 z3; t5 z4;
#line 121 "CheckExpr.m3"
{ { CHECKSTACKOVERFLOW;

      NILCHECKA (z2 = _p); _Expr__GetBounds ((((t3_fields*)(z2+(0+t45_size+t76_size)))->_expr), &(*_min), &(*_max));
      NILCHECKA (z1 = _p); switch ((((t3_fields*)(z1+(0+t45_size+t76_size)))->_class)) { case 0: NILCHECKA (z2 = _p);
         z3 = (*_min); z4 = (((t3_fields*)(z2+(0+t45_size+t76_size)))->_min); if (z3 < z4) z3 = z4; (*_min) = z3; break; case 1:
#line 125

         NILCHECKA (z2 = _p); z3 = (*_max); z4 = (((t3_fields*)(z2+(0+t45_size+t76_size)))->_max); if (z3 > z4) z3 = z4; (*_max) = z3;
#line 126
         break; case 2: NILCHECKA (z2 = _p);
         z3 = (*_min); z4 = (((t3_fields*)(z2+(0+t45_size+t76_size)))->_min); if (z3 < z4) z3 = z4; (*_min) = z3; NILCHECKA (z2 = _p);
#line 127
         z3 = (*_max); z4 = (((t3_fields*)(z2+(0+t45_size+t76_size)))->_max); if (z3 > z4) z3 = z4; (*_max) = z3; break; default: /**/;
#line 127
 }; } } };
#line 131 "CheckExpr.m3"
 PRIVATE t79 _CheckExpr__FPrinter (_p, _map, _wr) t3 _p; t2 _map; t1 _wr; { t3 z1; t3 z5; t15 z7; t15 z3; t15 z4; t15 z2;
#line 131 "CheckExpr.m3"
{ { CHECKSTACKOVERFLOW;

      NILCHECKA (z1 = _p); switch ((((t3_fields*)(z1+(0+t45_size+t76_size)))->_class)) { case 0: NILCHECKA (z5 = _p);
         z7 = _Fmt__Int ((((t3_fields*)(z5+(0+t45_size+t76_size)))->_min),  10 ); z3 = (ADDRESS) _Text__Cat (((ADDRESS)(& txt7.str)), z7);
#line 134
         z4 = (ADDRESS) _Text__Cat (z3, ((ADDRESS)(& txt8.str))); _Wr__PutText (_wr, z4); break; case 1: NILCHECKA (z5 = _p);
         z7 = _Fmt__Int ((((t3_fields*)(z5+(0+t45_size+t76_size)))->_max),  10 ); z3 = (ADDRESS) _Text__Cat (((ADDRESS)(& txt9.str)), z7);
#line 135
         z4 = (ADDRESS) _Text__Cat (z3, ((ADDRESS)(& txt8.str))); _Wr__PutText (_wr, z4); break; case 2: NILCHECKA (z5 = _p);

         z7 = _Fmt__Int ((((t3_fields*)(z5+(0+t45_size+t76_size)))->_min),  10 ); z3 = (ADDRESS) _Text__Cat (((ADDRESS)(& txt10.str)), z7);
#line 137
         z4 = (ADDRESS) _Text__Cat (z3, ((ADDRESS)(& txt8.str))); NILCHECKA (z5 = _p); z7 = _Fmt__Int ((((t3_fields*)(z5+(0+t45_size+t76_size)))->_max),  10 );
#line 137
         z2 = (ADDRESS) _Text__Cat (z4, z7); z4 = (ADDRESS) _Text__Cat (z2, ((ADDRESS)(& txt8.str))); _Wr__PutText (_wr, z4);
#line 137
         break; default: /**/; };

      NILCHECKA (z5 = _p); _Expr__Fingerprint ((((t3_fields*)(z5+(0+t45_size+t76_size)))->_expr), _map, _wr); } } };  PRIVATE int init_done = -1;
#line 139 "CheckExpr.m3"
 PRIVATE void CheckExpr__initProc (g) int g; {
#line 139 "CheckExpr.m3"
if (init_done >= g) return; init_done = g; INITIALIZE (& CheckExpr__init); INITIALIZE (& Fmt__init); INITIALIZE (& Wr__init);
#line 139
INITIALIZE (& Temp__init); INITIALIZE (& EnumExpr__init); INITIALIZE (& IntegerExpr__init); INITIALIZE (& Emit__init); INITIALIZE (& Type__init);
#line 139
INITIALIZE (& ExprRep__init); INITIALIZE (& Expr__init); return; }; 
#line 139 "CheckExpr.m3"
PRIVATE void t3_InitProc (obj) char* obj; { register t3_fields* p;
#line 139 "CheckExpr.m3"
CHECKSTACKOVERFLOW; p = (t3_fields*) (obj + TC7->datasize); }; 
#line 139 "CheckExpr.m3"
PRIVATE void t3_SetupProc () { register int* p;
#line 139 "CheckExpr.m3"
t3_TC.datasize += TC7->datasize; t3_TC.methodsize += TC7->methodsize; p = (int*) UALLOC (t3_TC.methodsize); COPY (TC7->defaultMethods, p, (TC7->methodsize));
#line 139
p[0] = (int)(& t3_TC); p[1] = 0; ((t45_methods*) (((char*)p) + TC76->methodsize))->_bind = _CheckExpr__Bind; ((t45_methods*) (((char*)p) + TC76->methodsize))->_check = _CheckExpr__Check;
#line 139
((t45_methods*) (((char*)p) + TC76->methodsize))->_compile = _CheckExpr__Compile; ((t45_methods*) (((char*)p) + TC76->methodsize))->_evaluate = _CheckExpr__Fold;
#line 139
((t45_methods*) (((char*)p) + TC76->methodsize))->_fprint = _CheckExpr__FPrinter; ((t45_methods*) (((char*)p) + TC76->methodsize))->_write = _ExprRep__NoWriter;
#line 139
((t45_methods*) (((char*)p) + TC76->methodsize))->_isEqual = _CheckExpr__EqCheck; ((t45_methods*) (((char*)p) + TC76->methodsize))->_getBounds = _CheckExpr__Bounder;
#line 139
((t45_methods*) (((char*)p) + TC76->methodsize))->_isWritable = _ExprRep__IsNever; ((t45_methods*) (((char*)p) + TC76->methodsize))->_isDesignator = _ExprRep__IsNever;
#line 139
((t45_methods*) (((char*)p) + TC76->methodsize))->_isZeroes = _ExprRep__IsNever; ((t45_methods*) (((char*)p) + TC76->methodsize))->_genLiteral = _ExprRep__NoLiteral;
#line 139
t3_TC.defaultMethods = (char*) p; }; 
#line 139 "CheckExpr.m3"
PRIVATE void t3_PrintProc (obj) char *obj; { t3_fields* o;
#line 139 "CheckExpr.m3"
CHECKSTACKOVERFLOW; if (TC7->printProc != 0) {TC7->printProc (obj); } fprintf (stderr, "{%s} ", TC3->brand); o = (t3_fields*) (obj + TC7->datasize);
#line 139
fprintf (stderr, "expr = %#x", o->_expr); fprintf (stderr, ", "); fprintf (stderr, "min = %d", o->_min); fprintf (stderr, ", ");
#line 139
fprintf (stderr, "max = %d", o->_max); fprintf (stderr, ", "); fprintf (stderr, "class = %d", o->_class); fprintf (stderr, ", ");
#line 139
 };   PRIVATE INITLINK me_0 ={(INITLINK*)NIL, 0, CheckExpr__initProc}; static char* VSimports[] = { &VS_Fmt__Int__6e220fa1366cffbc,
&VS_Thread__Alerted__fc88feb43485af46, &VS_Wr__T__2555b70b3f7780b1, &VS_Wr__Failure__5f82cfb43dabf527, &VS_Wr__Error__c367253d3ed4fd15,
&VS_Wr__PutText__e034dab73a793846, &VS_Temp__T__3a6c7dc12615e4ee, &VS_Temp__Alloc__0b946c9d3ec0974e, &VS_Temp__Free__3b952a2225c26846,
&VS_EnumExpr__Split__cac875982d1549f5, &VS_IntegerExpr__Split__132919062838cba6, &VS_Emit__MaxStream__cf0a0e8934c9c9f3, &VS_Emit__Format__bc4a2b083b93bbd7,
&VS_Emit__Op__072646cc27c8ae10, &VS_Emit__OpTT__cba0ce912431e01c, &VS_Emit__OpTI__af828b1c28578815, &VS_Emit__OpIT__1322d0f925e21d92,
&VS_Type__T__2446b70b3f7780a5, &VS_Type__Map__41dd9f4b33104fce, &VS_Type__List__5791758e343becc1, &VS_ExprRep__Init__8b7fff3e227cebab,
&VS_ExprRep__NoBind__e7d0d3dd3d703c08, &VS_ExprRep__NoCheck__c11b54bc361794fa, &VS_ExprRep__NoValue__8ccc143224598a66, &VS_ExprRep__NoBounds__b64bb146289ee4f0,
&VS_ExprRep__IsNever__8f1a069b301903c8, &VS_ExprRep__NeverEq__dfdc2412249ccb65, &VS_ExprRep__NoWriter__a97bb1a23bbf506e, &VS_ExprRep__NoLiteral__6c9c90073f496f67,
&VS_Expr__T__2446b70b3f7780a5, &VS_Expr__List__3f87eceb2b9a246a, &VS_Expr__Bind__7e2752da3eaf56eb, &VS_Expr__TypeOf__fef0a11b388c64fa,
&VS_Expr__ConstValue__ce4fd448218fe483, &VS_Expr__GetBounds__b20ec781333da5e4, &VS_Expr__TypeCheck__af9aa9073729e7f7, &VS_Expr__Compile__a7e0cc4029a2ec76,
&VS_Expr__IsEqual__062d8b2c385e35a9, &VS_Expr__Fingerprint__50ce687c31d90a5b, NIL };  void CheckExpr__MLink (phase) int phase; { switch (phase) { case 0: { me_0.link = CheckExpr__init; CheckExpr__init = & me_0;
         t3_TC = t3_TC_init; REGISTERTYPE (TC3); break; }; case 1: { t3_TC.parent = TC_M3__Expr; break; }; case 2: { break; }; };
 };