#include "M3Runtime.h"

typedef struct { int tc; char* str; int len; } TXT; PRIVATE TXT txt1 = { 3, "LOOPHOLE", 9}; PRIVATE TXT txt2 = { 3, "LOOPHOLE: unsafe operation", 27};
#line 14 "../Interfaces/Expr.i3"
#define t3 ADDRESS
#define t73 void
#define t70 ADDRESS
 typedef struct { TYPE self; int private; } t70_methods; 
#define t70_msize (sizeof (t70_methods))
typedef struct { ADDRESS methods; } t70_fields; 
#define t70_size (sizeof (t70_fields))
#define TC70 TC_UNTRACED_ROOT
IMPORT TYPE TC_UNTRACED_ROOT; IMPORT char VS_UNTRACED_ROOT__3e0964513fd6da20;
#line 16 "../Interfaces/M3.i3"
#define t4 ADDRESS
#define TC4 TC_M3__Expr
IMPORT TYPE TC_M3__Expr;
#line 16
IMPORT char VS_M3__Expr__8ae39aaa2d432477;
#line 116 ".ROOT/.boots/corelib/Interfaces/Wr.i3"
typedef struct { char* elts; int size[1]; } t57;
#line 14 "../Interfaces/Expr.i3"
#define t38 t57
#define TC3 TC_Expr__List
IMPORT TYPE TC_Expr__List;
#line 14
IMPORT char VS_Expr__List__3f87eceb2b9a246a;
#line 17 "../Interfaces/Scope.i3"
#define t29 ADDRESS
#define t21 ADDRESS
#define TC21 TC_M3__Value
IMPORT TYPE TC_M3__Value;
#line 15 "../Interfaces/M3.i3"
IMPORT char VS_M3__Value__6f64cf9c2cae25fb;
#line 17 "../Interfaces/Scope.i3"
#define t31 t57
#define TC29 TC_Scope__ValueList
IMPORT TYPE TC_Scope__ValueList;
#line 17
IMPORT char VS_Scope__ValueList__64bf053e22e4e53c; 
#define t33 ADDRESS
typedef int t12; 
#define TC33 TC_ADDRESS
IMPORT TYPE TC_ADDRESS; IMPORT char VS_ADDRESS__30f7308738738b44;
#line 16 "../Interfaces/Type.i3"
#define t35 ADDRESS
#define t43 t57
#define TC35 TC_Type__Map
IMPORT TYPE TC_Type__Map;
#line 16
IMPORT char VS_Type__Map__41dd9f4b33104fce;
#define t41 ADDRESS
#define t9 ADDRESS
#define TC9 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 { t41 _next; t9 _type; } t42; 
#define TC41 TC_Type__List
IMPORT TYPE TC_Type__List;
#line 17
IMPORT char VS_Type__List__5791758e343becc1; 
#define t59 ADDRESS
#define TC59 TC_REFANY
IMPORT TYPE TC_REFANY; IMPORT char VS_REFANY__4b8748e831fc107a; 
#define t74 ADDRESS
#define TC74 TC_NULL
IMPORT TYPE TC_NULL; IMPORT char VS_NULL__fb50c7d53bec30dc;
#line 50 "Loophole.m3"
typedef t73 (*t1)(); typedef unsigned char t2;
#line 45
typedef t2 (*t5)();
#line 35
typedef t4 (*t6)();
#line 19 "../Interfaces/M3.i3"
#define t7 ADDRESS
#define TC7 TC_M3__Temp
IMPORT TYPE TC_M3__Temp;
#line 19
IMPORT char VS_M3__Temp__450b691937f03dae;
#line 30 "Loophole.m3"
typedef t7 (*t8)();
#line 16
typedef t9 (*t10)();
#line 17 "../Interfaces/CallExpr.i3"
#define t11 ADDRESS
#define TC11 TC_CallExpr__MethodList
IMPORT TYPE TC_CallExpr__MethodList;
#line 17
IMPORT char VS_CallExpr__MethodList__7e87c2d720444b71; 
#define t13 ADDRESS
#define TC13 TC_TEXT
IMPORT TYPE TC_TEXT; IMPORT char VS_TEXT__b7a92447326386f5; 
#define t13_MapProc TC_TEXT->mapProc
#define t14 ADDRESS
#define TC14 TC_String__T
IMPORT TYPE TC_String__T;
#line 13 "../Interfaces/String.i3"
IMPORT char VS_String__T__3a6c7dc12615e4ee;
typedef struct { t14 _module; t14 _item; } t15;
#line 32 "../Interfaces/Module.i3"
typedef t14 (*t16)();
#line 14 "../Interfaces/M3.i3"
#define t17 ADDRESS
#define TC17 TC_M3__Scope
IMPORT TYPE TC_M3__Scope;
#line 14
IMPORT char VS_M3__Scope__6e6d8848308d8a2d;
#line 14 "../Interfaces/Module.i3"
#define t18 ADDRESS
#define TC18 TC_Module__T
IMPORT TYPE TC_Module__T;
#line 14
IMPORT char VS_Module__T__be7ead4a3afd8be5;
#line 30
typedef t17 (*t19)();
#line 18
typedef t18 (*t20)();
#line 37 "../Interfaces/Procedure.i3"
#define t22 t57
#define t23 ADDRESS
#define TC23 TC_Procedure__T
IMPORT TYPE TC_Procedure__T;
#line 15
IMPORT char VS_Procedure__T__be7ead4a3afd8be5;
#line 14 "../Interfaces/Decl.i3"
typedef struct { t14 _alias; t2 _isExternal; t2 _isInline; t2 _isUnused; t2 _isObsolete; } t24;
#line 15 "../Interfaces/Token.i3"
typedef unsigned char t45;
#line 45
typedef struct { int elts[4]; } t25;
#line 16 "../Interfaces/Variable.i3"
#define t26 ADDRESS
#define TC26 TC_Variable__T
IMPORT TYPE TC_Variable__T;
#line 16
IMPORT char VS_Variable__T__be7ead4a3afd8be5;







typedef t26 (*t27)();
#line 19 "../Interfaces/String.i3"
typedef signed_char t51;
#line 65 "../Interfaces/Token.i3"
#define t44 t57
typedef struct { t14 elts[100]; } t52;
#line 17 "../Interfaces/String.i3"
typedef struct { t12 _top; t52 _stk; } t28;
#line 38 "../Interfaces/Scope.i3"
typedef t21 (*t30)();
#line 27 "../Interfaces/CallExpr.i3"
typedef t11 (*t32)(); 
#define t60 ADDRESS
 typedef struct { TYPE self; int private; } t60_methods; 
#define t60_msize (sizeof (t60_methods))
typedef struct { ADDRESS methods; } t60_fields; 
#define t60_size (sizeof (t60_fields))
#define TC60 TC_ROOT
IMPORT TYPE TC_ROOT; IMPORT char VS_ROOT__349f58f628be0ac6; 
#define t60_MapProc TC_ROOT->mapProc
#define t34 ADDRESS
#define TC34 TC_Wr__T
IMPORT TYPE TC_Wr__T;
#line 90 ".ROOT/.boots/corelib/Interfaces/Wr.i3"
IMPORT char VS_Wr__T__2555b70b3f7780b1; 
#define t34_MapProc TC_Wr__T->mapProc
typedef unsigned char t36;
#line 40 "../Interfaces/Value.i3"
typedef t36 (*t37)();
#line 121 "../Interfaces/Type.i3"
typedef t35 (*t39)();
#line 97
typedef t12 (*t40)();
#line 65 "../Interfaces/Token.i3"
typedef struct { t14 elts[97]; } t46; typedef int t47;
#line 37 "../Interfaces/String.i3"
typedef t13 (*t48)(); typedef unsigned char t49;
#line 28
#define t50 t57
typedef signed_char t53;
#line 67 ".ROOT/.boots/corelib/Interfaces/Text.i3"
typedef t53 (*t54)();
#line 26
typedef t47 (*t55)();
#line 23
typedef t49 (*t56)();
#line 91 ".ROOT/.boots/corelib/Interfaces/Wr.i3"
typedef unsigned char t58;
#line 15 ".ROOT/.boots/corelib/Interfaces/Thread.i3"
#define t61 ADDRESS
#define TC61 TC_Thread__T
IMPORT TYPE TC_Thread__T;
#line 15
IMPORT char VS_Thread__T__2555b70b3f7780b1; 
#define t61_MapProc TC_Thread__T->mapProc
typedef t59 (*t62)();



#define t63 ADDRESS
#define TC63 TC_Thread__Condition
IMPORT TYPE TC_Thread__Condition;
#line 21
IMPORT char VS_Thread__Condition__26d5968239e08f4e; 
#define t63_MapProc TC_Thread__Condition->mapProc
#define t64 ADDRESS
#define TC64 TC_MUTEX
IMPORT TYPE TC_MUTEX; IMPORT char VS_MUTEX__1f9d4e89391ab815; 
#define t64_MapProc TC_MUTEX->mapProc
typedef t61 (*t65)();
#line 23
#define t66 ADDRESS

#line 23
typedef struct { t62 _apply; } t66_methods; 
#define t66_msize (sizeof (t66_methods))
typedef struct {
#line 23
 int filler; } t66_fields; 
#define t66_size (sizeof (t66_fields))
#define TC66 TC_Thread__Closure
IMPORT TYPE TC_Thread__Closure;
#line 23
IMPORT char VS_Thread__Closure__7fb5c6232c5a658a; 
#define t66_MapProc TC_Thread__Closure->mapProc
typedef t63 (*t67)();





typedef t64 (*t68)();
#line 28
#define t69 ADDRESS

#line 28
typedef struct { int filler; } t69_methods; 
#define t69_msize (sizeof (t69_methods))
typedef struct {
#line 28
 t47 _stackSize; } t69_fields; 
#define t69_size (sizeof (t69_fields))
#define TC69 TC_Thread__SizedClosure
IMPORT TYPE TC_Thread__SizedClosure;
#line 28
IMPORT char VS_Thread__SizedClosure__8a46717d2eae7b07; 
#define t69_MapProc TC_Thread__SizedClosure->mapProc
#define t71 ADDRESS
#define TC71 TC_M3__Stmt
IMPORT TYPE TC_M3__Stmt;
#line 17 "../Interfaces/M3.i3"
IMPORT char VS_M3__Stmt__376b307627fc1f2f; typedef CLOSURE t72; typedef double t75; typedef float t76;
#line 9 "Loophole.m3"
IMPORT INITLINK* Temp__init; IMPORT INITLINK* Error__init; IMPORT INITLINK* TypeExpr__init; IMPORT INITLINK* Module__init;
#line 9
IMPORT INITLINK* Int__init; IMPORT INITLINK* CastExpr__init; IMPORT INITLINK* Procedure__init; IMPORT INITLINK* Type__init;
#line 9
IMPORT INITLINK* Expr__init; IMPORT INITLINK* CallExpr__init; IMPORT INITLINK* Loophole__init;  IMPORT TYPE TC_Temp__T; IMPORT char VS_Temp__T__3a6c7dc12615e4ee;
#line 9
  IMPORT t73 _Error__Msg (); IMPORT char VS_Error__Msg__4d119a332467757f;   IMPORT t2 _TypeExpr__Split (); IMPORT char VS_TypeExpr__Split__f3b91e1b2487bd66;
#line 9
  IMPORT t2 _Module__IsSafe (); IMPORT char VS_Module__IsSafe__13f026ba31f586b3;   IMPORT t9 _Int__T; IMPORT char VS_Int__T__1062912139372387;
#line 9
  IMPORT t4 _CastExpr__New (); IMPORT char VS_CastExpr__New__4a559a192846469c;   IMPORT t73 _Procedure__Define (); IMPORT char VS_Procedure__Define__23155a563959ddb7;
#line 9
  IMPORT TYPE TC_Type__T; IMPORT char VS_Type__T__2446b70b3f7780a5;   IMPORT TYPE TC_Expr__T; IMPORT char VS_Expr__T__2446b70b3f7780a5;
#line 9
IMPORT t73 _Expr__Bind (); IMPORT char VS_Expr__Bind__7e2752da3eaf56eb; IMPORT t4 _Expr__ConstValue (); IMPORT char VS_Expr__ConstValue__ce4fd448218fe483;
#line 9
IMPORT t2 _Expr__IsDesignator (); IMPORT char VS_Expr__IsDesignator__e3556614321cb906; IMPORT t2 _Expr__IsWritable (); IMPORT char VS_Expr__IsWritable__85b9bb292e4a0f55;
#line 9
IMPORT t7 _Expr__Compile (); IMPORT char VS_Expr__Compile__a7e0cc4029a2ec76;   IMPORT t11 _CallExpr__NewMethodList (); IMPORT char VS_CallExpr__NewMethodList__1e86caa631267427;
#line 9
  EXPORT t73 _Loophole__Initialize (); EXPORT char VS_Loophole__Initialize__11e9efc32c8b8cca = '\0'; PRIVATE t11 _Loophole__Z;
#line 9
PRIVATE t9 _Loophole__Bind (); PRIVATE t73 _Loophole__Check (); PRIVATE t7 _Loophole__Compile (); PRIVATE t4 _Loophole__Fold ();
#line 9
PRIVATE t2 _Loophole__IsWritable (); PRIVATE t2 _Loophole__IsDesignator ();     
#line 16 "Loophole.m3"
 PRIVATE t9 _Loophole__Bind (_proc, _args) t4 _proc; t3 _args; { t3 z2; t12 z4; t12 z5; t2 z3; t2 z0; t4 z6; t3 z1;
#line 16 "Loophole.m3"
{ auto t9 _t; auto t9 __result; { CHECKSTACKOVERFLOW;


      NILCHECKB (z2 = _args); { register t57* array = & (*((t38*) z2)); z5 =  1 ; if (z5 >= (array->size[0])) RANGEFAULT;
#line 19
         z4 = (int)(array->elts + (z5 * 4)); }; z3 = _TypeExpr__Split ((*(t4*)z4), &_t); z0 = ! z3; if (z0) { _t = _Int__T;
#line 19
         goto if_1_end; }; if_1_end: /**/;
      NILCHECKB (z2 = _args); { register t57* array = & (*((t38*) z2)); z5 =  0 ; if (z5 >= (array->size[0])) RANGEFAULT;
#line 20
         z4 = (int)(array->elts + (z5 * 4)); }; z6 = _CastExpr__New ((*(t4*)z4), _t); NILCHECKB (z1 = _args); { register t57* array = & (*((t38*) z1));
#line 20
         z5 =  0 ; if (z5 >= (array->size[0])) RANGEFAULT; z4 = (int)(array->elts + (z5 * 4)); }; (*(t4*)z4) = z6;
      NILCHECKB (z2 = _args); { register t57* array = & (*((t38*) z2)); z5 =  0 ; if (z5 >= (array->size[0])) RANGEFAULT;
#line 21
         z4 = (int)(array->elts + (z5 * 4)); }; _Expr__Bind ((*(t4*)z4));
      __result = _t; return __result; } } };
#line 25 "Loophole.m3"
 PRIVATE t73 _Loophole__Check (_proc, _args) t4 _proc; t3 * _args; { t2 z1;
#line 25 "Loophole.m3"
{ { CHECKSTACKOVERFLOW;

      z1 = _Module__IsSafe (); if (z1) { _Error__Msg (((ADDRESS)(& txt2.str))); goto if_2_end; }; if_2_end: /**/; } } };
#line 30 "Loophole.m3"
 PRIVATE t7 _Loophole__Compile (_proc, _args) t4 _proc; t3 _args; { t3 z2; t12 z4; t12 z5; t7 z3;
#line 30 "Loophole.m3"
{ auto t7 __result; { CHECKSTACKOVERFLOW;

      NILCHECKB (z2 = _args); { register t57* array = & (*((t38*) z2)); z5 =  0 ; if (z5 >= (array->size[0])) RANGEFAULT;
#line 32
         z4 = (int)(array->elts + (z5 * 4)); }; z3 = _Expr__Compile ((*(t4*)z4)); __result = z3; return __result; } } };
#line 35 "Loophole.m3"
 PRIVATE t4 _Loophole__Fold (_proc, _args) t4 _proc; t3 _args; { t3 z2; t12 z4; t12 z5; t4 z3;
#line 35 "Loophole.m3"
{ auto t4 __result; { CHECKSTACKOVERFLOW;

      NILCHECKB (z2 = _args); { register t57* array = & (*((t38*) z2)); z5 =  0 ; if (z5 >= (array->size[0])) RANGEFAULT;
#line 37
         z4 = (int)(array->elts + (z5 * 4)); }; z3 = _Expr__ConstValue ((*(t4*)z4)); __result = z3; return __result; } } };
#line 40 "Loophole.m3"
 PRIVATE t2 _Loophole__IsWritable (_proc, _args) t4 _proc; t3 _args; { t3 z2; t12 z4; t12 z5; t2 z3;
#line 40 "Loophole.m3"
{ auto t2 __result; { ZERO1B (& __result); CHECKSTACKOVERFLOW;

      NILCHECKB (z2 = _args); { register t57* array = & (*((t38*) z2)); z5 =  0 ; if (z5 >= (array->size[0])) RANGEFAULT;
#line 42
         z4 = (int)(array->elts + (z5 * 4)); }; z3 = _Expr__IsWritable ((*(t4*)z4)); __result = z3; return __result; } } };
#line 45 "Loophole.m3"
 PRIVATE t2 _Loophole__IsDesignator (_proc, _args) t4 _proc; t3 _args; { t3 z2; t12 z4; t12 z5; t2 z3;
#line 45 "Loophole.m3"
{ auto t2 __result; { ZERO1B (& __result); CHECKSTACKOVERFLOW;

      NILCHECKB (z2 = _args); { register t57* array = & (*((t38*) z2)); z5 =  0 ; if (z5 >= (array->size[0])) RANGEFAULT;
#line 47
         z4 = (int)(array->elts + (z5 * 4)); }; z3 = _Expr__IsDesignator ((*(t4*)z4)); __result = z3; return __result; } }
#line 47
 };
#line 50 "Loophole.m3"
 EXPORT t73 _Loophole__Initialize () { t11 z10;
#line 50 "Loophole.m3"
{ { CHECKSTACKOVERFLOW;

      z10 = _CallExpr__NewMethodList ( 2 ,  2 ,  1 , _Loophole__Bind, _Loophole__Check, _Loophole__Compile, _Loophole__Fold, 
#line 52
      _Loophole__IsWritable, _Loophole__IsDesignator); _Loophole__Z = z10;

      _Procedure__Define (((ADDRESS)(& txt1.str)), _Loophole__Z, 0); } } };  PRIVATE int init_done = -1;
#line 54 "Loophole.m3"
 PRIVATE void Loophole__initProc (g) int g; {
#line 54 "Loophole.m3"
if (init_done >= g) return; init_done = g; INITIALIZE (& Loophole__init); INITIALIZE (& Temp__init); INITIALIZE (& Error__init);
#line 54
INITIALIZE (& TypeExpr__init); INITIALIZE (& Module__init); INITIALIZE (& Int__init); INITIALIZE (& CastExpr__init); INITIALIZE (& Procedure__init);
#line 54
INITIALIZE (& Type__init); INITIALIZE (& Expr__init); INITIALIZE (& CallExpr__init); return; };   PRIVATE INITLINK me_0 ={(INITLINK*)NIL, 0, Loophole__initProc};
static char* VSimports[] = { &VS_Temp__T__3a6c7dc12615e4ee, &VS_Error__Msg__4d119a332467757f, &VS_TypeExpr__Split__f3b91e1b2487bd66,
   &VS_Module__T__be7ead4a3afd8be5, &VS_Module__IsSafe__13f026ba31f586b3, &VS_Int__T__1062912139372387, &VS_CastExpr__New__4a559a192846469c,
   &VS_Procedure__T__be7ead4a3afd8be5, &VS_Procedure__Define__23155a563959ddb7, &VS_Type__T__2446b70b3f7780a5, &VS_Type__Map__41dd9f4b33104fce,
   &VS_Type__List__5791758e343becc1, &VS_Expr__T__2446b70b3f7780a5, &VS_Expr__List__3f87eceb2b9a246a, &VS_Expr__Bind__7e2752da3eaf56eb,
   &VS_Expr__ConstValue__ce4fd448218fe483, &VS_Expr__IsDesignator__e3556614321cb906, &VS_Expr__IsWritable__85b9bb292e4a0f55,
   &VS_Expr__Compile__a7e0cc4029a2ec76, &VS_CallExpr__MethodList__7e87c2d720444b71, &VS_CallExpr__NewMethodList__1e86caa631267427,
   NIL };  void Loophole__MLink (phase) int phase; { switch (phase) { case 0: { me_0.link = Loophole__init; Loophole__init = & me_0;
         break; }; case 1: { break; }; case 2: { break; }; }; };