/* Generated by Nim Compiler v0.16.0 */ /* (c) 2017 Andreas Rumpf */ /* The generated code is subject to the original license. */ /* Compiled for: Linux, amd64, gcc */ /* Command for C compiler: gcc -c -w -O3 -fno-strict-aliasing -I/afs/athena.mit.edu/software/nim-lang_v0.16.0/nim-0.16.0/lib -o tools/nimsuggest/nimcache/compiler_guards.o tools/nimsuggest/nimcache/compiler_guards.c */ #define NIM_INTBITS 64 #include "nimbase.h" #include #undef linux typedef struct Tsym_AXG7xcvKqaxY6koRX1xkCw Tsym_AXG7xcvKqaxY6koRX1xkCw; typedef struct TNimType TNimType; typedef struct TNimNode TNimNode; typedef struct NimStringDesc NimStringDesc; typedef struct TGenericSeq TGenericSeq; typedef struct TY_ehmV9bTklH2Gt9cXHV9c0HLeQ TY_ehmV9bTklH2Gt9cXHV9c0HLeQ; typedef struct Tnode_bROa11lyF5vxEN9aYNbHmhw Tnode_bROa11lyF5vxEN9aYNbHmhw; typedef struct Ttype_LTUWCZolpovw9cWE3JBWSUw Ttype_LTUWCZolpovw9cWE3JBWSUw; typedef struct Tlineinfo_T9c3PM9bs7WZ4LIQfEici9cZw Tlineinfo_T9c3PM9bs7WZ4LIQfEici9cZw; typedef struct Tident_4umxGerWTHGPwUms7Yqu3g Tident_4umxGerWTHGPwUms7Yqu3g; typedef struct Tidobj_raN9cHVgzmvaXisezY9aGg9cg Tidobj_raN9cHVgzmvaXisezY9aGg9cg; typedef struct TNimObject TNimObject; typedef struct TY_zuqP4Riz26Oi5fWgPYVEgA TY_zuqP4Riz26Oi5fWgPYVEgA; typedef struct TY_DXS6mEo7PVUFJkirsQ9bNQA TY_DXS6mEo7PVUFJkirsQ9bNQA; typedef struct Tstrtable_f07aOS3dr28kGa5wcE29aFA Tstrtable_f07aOS3dr28kGa5wcE29aFA; typedef struct TY_sksVpmPRIkNR9axiwtD1Guw TY_sksVpmPRIkNR9axiwtD1Guw; typedef struct Tloc_EtHNvCB0bgfu9bFjzx9cb6aA Tloc_EtHNvCB0bgfu9bFjzx9cb6aA; typedef struct Ropeobj_HF4qJnb6xiOddgPmsxodtQ Ropeobj_HF4qJnb6xiOddgPmsxodtQ; typedef struct Tlib_4f9aBgmqEuj7uWJdBBGcRgA Tlib_4f9aBgmqEuj7uWJdBBGcRgA; typedef struct TY_dRkMGUPOSmkGlhHeIeiomQ TY_dRkMGUPOSmkGlhHeIeiomQ; typedef struct TY_1v9bKyksXWMsm0vNwmZ4EuQ TY_1v9bKyksXWMsm0vNwmZ4EuQ; typedef struct TY_XOVT24GHXwqiEj5GCsEGCA TY_XOVT24GHXwqiEj5GCsEGCA; typedef struct TY_iGkpo9aKQdr3NWelKC4cnJA TY_iGkpo9aKQdr3NWelKC4cnJA; typedef struct Tinstantiation_5LqgVn6Tq9ainQRK7TQAQxA Tinstantiation_5LqgVn6Tq9ainQRK7TQAQxA; typedef struct Tlistentry_U4JkVlrJQaACKZ9a9cwCla3Q Tlistentry_U4JkVlrJQaACKZ9a9cwCla3Q; typedef struct TY_a09bGTAl9ceOKTAytYdkbyKg TY_a09bGTAl9ceOKTAytYdkbyKg; typedef NU8 Tnimkind_jIBKr1ejBgsfM33Kxw4j7A; typedef NU8 Tnimtypeflag_v8QUszD1sWlSIWZz7mC4bQ_Set; typedef N_NIMCALL_PTR(void, TY_ojoeKfW4VYIm36I9cpDTQIg) (void* p0, NI op0); typedef N_NIMCALL_PTR(void*, TY_WSm2xU5ARYv9aAR4l0z9c9auQ) (void* p0); struct TNimType { NI size; Tnimkind_jIBKr1ejBgsfM33Kxw4j7A kind; Tnimtypeflag_v8QUszD1sWlSIWZz7mC4bQ_Set flags; TNimType* base; TNimNode* node; void* finalizer; TY_ojoeKfW4VYIm36I9cpDTQIg marker; TY_WSm2xU5ARYv9aAR4l0z9c9auQ deepcopy; }; typedef NU8 Tnimnodekind_unfNsxrcATrufDZmpBq4HQ; struct TNimNode { Tnimnodekind_unfNsxrcATrufDZmpBq4HQ kind; NI offset; TNimType* typ; NCSTRING name; NI len; TNimNode** sons; }; typedef N_NIMCALL_PTR(void, TY_T4eqaYlFJYZUv9aG9b1TV0bQ) (void); struct TGenericSeq { NI len; NI reserved; }; struct NimStringDesc { TGenericSeq Sup; NIM_CHAR data[SEQ_DECL_SIZE]; }; typedef NU16 Tmagic_shZhZOdbVC5nnFvcXQAImg; typedef NU8 Timplication_t4F29a8ejY1DFQTYTML9c9byA; struct Tlineinfo_T9c3PM9bs7WZ4LIQfEici9cZw { NI16 line; NI16 col; NI32 fileindex; }; typedef NU16 Tnodeflag_jyh9acXHkhZANSSvPIY7ZLg_Set; typedef NU8 Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw; struct Tnode_bROa11lyF5vxEN9aYNbHmhw { Ttype_LTUWCZolpovw9cWE3JBWSUw* typ; Tlineinfo_T9c3PM9bs7WZ4LIQfEici9cZw info; Tnodeflag_jyh9acXHkhZANSSvPIY7ZLg_Set flags; Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw kind; union{ struct {NI64 intval; } S1; struct {NF floatval; } S2; struct {NimStringDesc* strval; } S3; struct {Tsym_AXG7xcvKqaxY6koRX1xkCw* sym; } S4; struct {Tident_4umxGerWTHGPwUms7Yqu3g* ident; } S5; struct {TY_ehmV9bTklH2Gt9cXHV9c0HLeQ* sons; } S6; } kindU; NimStringDesc* comment; }; struct TNimObject { TNimType* m_type; }; struct Tidobj_raN9cHVgzmvaXisezY9aGg9cg { TNimObject Sup; NI id; }; typedef NU8 Tsymkind_cNCW9acsSznmEccl1fgQwkw; struct Tstrtable_f07aOS3dr28kGa5wcE29aFA { NI counter; TY_sksVpmPRIkNR9axiwtD1Guw* data; }; typedef NU32 Tsymflag_K9ay6LWMat9bUiT9bIbMxpDHw_Set; typedef NU32 Toption_WspMeQySXNP2XoTWR5MTgg_Set; typedef NU8 Tlockind_O7PRFZKuiBBWbku09cayVBg; typedef NU8 Tstorageloc_JK9cKMX3XnqHaUky9b6gkGEw; typedef NU16 Tlocflag_o2bqJgR4ceIupnUSpxiudA_Set; struct Tloc_EtHNvCB0bgfu9bFjzx9cb6aA { Tlockind_O7PRFZKuiBBWbku09cayVBg k; Tstorageloc_JK9cKMX3XnqHaUky9b6gkGEw s; Tlocflag_o2bqJgR4ceIupnUSpxiudA_Set flags; Ttype_LTUWCZolpovw9cWE3JBWSUw* t; Ropeobj_HF4qJnb6xiOddgPmsxodtQ* r; }; struct Tsym_AXG7xcvKqaxY6koRX1xkCw { Tidobj_raN9cHVgzmvaXisezY9aGg9cg Sup; Tsymkind_cNCW9acsSznmEccl1fgQwkw kind; union{ struct {TY_zuqP4Riz26Oi5fWgPYVEgA* typeinstcache; } S1; struct {TY_DXS6mEo7PVUFJkirsQ9bNQA* procinstcache; Tsym_AXG7xcvKqaxY6koRX1xkCw* gcunsafetyreason; } S2; struct {TY_DXS6mEo7PVUFJkirsQ9bNQA* usedgenerics; Tstrtable_f07aOS3dr28kGa5wcE29aFA tab; } S3; struct {Tsym_AXG7xcvKqaxY6koRX1xkCw* guard; NI bitsize; } S4; } kindU; Tmagic_shZhZOdbVC5nnFvcXQAImg magic; Ttype_LTUWCZolpovw9cWE3JBWSUw* typ; Tident_4umxGerWTHGPwUms7Yqu3g* name; Tlineinfo_T9c3PM9bs7WZ4LIQfEici9cZw info; Tsym_AXG7xcvKqaxY6koRX1xkCw* owner; Tsymflag_K9ay6LWMat9bUiT9bIbMxpDHw_Set flags; Tnode_bROa11lyF5vxEN9aYNbHmhw* ast; Toption_WspMeQySXNP2XoTWR5MTgg_Set options; NI position; NI offset; Tloc_EtHNvCB0bgfu9bFjzx9cb6aA loc; Tlib_4f9aBgmqEuj7uWJdBBGcRgA* annex; Tnode_bROa11lyF5vxEN9aYNbHmhw* constraint; TY_dRkMGUPOSmkGlhHeIeiomQ* allusages; }; struct Tident_4umxGerWTHGPwUms7Yqu3g { Tidobj_raN9cHVgzmvaXisezY9aGg9cg Sup; NimStringDesc* s; Tident_4umxGerWTHGPwUms7Yqu3g* next; NI h; }; struct TY_1v9bKyksXWMsm0vNwmZ4EuQ { NI Field0; NI Field1; }; struct TY_XOVT24GHXwqiEj5GCsEGCA { NimStringDesc* Field0; NI Field1; }; typedef NU64 Ttypekind_9a3YiReNVD0IJHWFKgXRe9ag_Set; typedef NU8 Ttypekind_9a3YiReNVD0IJHWFKgXRe9ag; typedef NU8 Tcallingconvention_yjAJ8w0h1PBaSwSGJ3P7IA; typedef NU32 Ttypeflag_x2m5g1NpbmDig4wLT3Ylhw_Set; struct Ttype_LTUWCZolpovw9cWE3JBWSUw { Tidobj_raN9cHVgzmvaXisezY9aGg9cg Sup; Ttypekind_9a3YiReNVD0IJHWFKgXRe9ag kind; Tcallingconvention_yjAJ8w0h1PBaSwSGJ3P7IA callconv; Ttypeflag_x2m5g1NpbmDig4wLT3Ylhw_Set flags; TY_zuqP4Riz26Oi5fWgPYVEgA* sons; Tnode_bROa11lyF5vxEN9aYNbHmhw* n; Tsym_AXG7xcvKqaxY6koRX1xkCw* owner; Tsym_AXG7xcvKqaxY6koRX1xkCw* sym; Tsym_AXG7xcvKqaxY6koRX1xkCw* destructor; Tsym_AXG7xcvKqaxY6koRX1xkCw* deepcopy; Tsym_AXG7xcvKqaxY6koRX1xkCw* assignment; TY_iGkpo9aKQdr3NWelKC4cnJA* methods; NI64 size; NI16 align; NI16 locklevel; Tloc_EtHNvCB0bgfu9bFjzx9cb6aA loc; Ttype_LTUWCZolpovw9cWE3JBWSUw* typeinst; }; typedef NU16 Tmsgkind_IGAWgv9aR2KqPKJfPZPEWaw; typedef NU8 Trenderflag_wrPgUo1ExBlHvFnXN2nSHw_Set; struct Ropeobj_HF4qJnb6xiOddgPmsxodtQ { TNimObject Sup; Ropeobj_HF4qJnb6xiOddgPmsxodtQ* left; Ropeobj_HF4qJnb6xiOddgPmsxodtQ* right; NI length; NimStringDesc* data; }; struct Tlistentry_U4JkVlrJQaACKZ9a9cwCla3Q { TNimObject Sup; Tlistentry_U4JkVlrJQaACKZ9a9cwCla3Q* prev; Tlistentry_U4JkVlrJQaACKZ9a9cwCla3Q* next; }; typedef NU8 Tlibkind_9b8v60kso59bBaw9cp8B9a9apKQ; struct Tlib_4f9aBgmqEuj7uWJdBBGcRgA { Tlistentry_U4JkVlrJQaACKZ9a9cwCla3Q Sup; Tlibkind_9b8v60kso59bBaw9cp8B9a9apKQ kind; NIM_BOOL generated; NIM_BOOL isoverriden; Ropeobj_HF4qJnb6xiOddgPmsxodtQ* name; Tnode_bROa11lyF5vxEN9aYNbHmhw* path; }; struct TY_a09bGTAl9ceOKTAytYdkbyKg { NI Field0; Tsym_AXG7xcvKqaxY6koRX1xkCw* Field1; }; struct Tinstantiation_5LqgVn6Tq9ainQRK7TQAQxA { Tsym_AXG7xcvKqaxY6koRX1xkCw* sym; TY_zuqP4Riz26Oi5fWgPYVEgA* concretetypes; NI compilesid; }; struct TY_ehmV9bTklH2Gt9cXHV9c0HLeQ { TGenericSeq Sup; Tnode_bROa11lyF5vxEN9aYNbHmhw* data[SEQ_DECL_SIZE]; }; struct TY_zuqP4Riz26Oi5fWgPYVEgA { TGenericSeq Sup; Ttype_LTUWCZolpovw9cWE3JBWSUw* data[SEQ_DECL_SIZE]; }; struct TY_DXS6mEo7PVUFJkirsQ9bNQA { TGenericSeq Sup; Tinstantiation_5LqgVn6Tq9ainQRK7TQAQxA* data[SEQ_DECL_SIZE]; }; struct TY_sksVpmPRIkNR9axiwtD1Guw { TGenericSeq Sup; Tsym_AXG7xcvKqaxY6koRX1xkCw* data[SEQ_DECL_SIZE]; }; struct TY_dRkMGUPOSmkGlhHeIeiomQ { TGenericSeq Sup; Tlineinfo_T9c3PM9bs7WZ4LIQfEici9cZw data[SEQ_DECL_SIZE]; }; struct TY_iGkpo9aKQdr3NWelKC4cnJA { TGenericSeq Sup; TY_a09bGTAl9ceOKTAytYdkbyKg data[SEQ_DECL_SIZE]; }; N_NIMCALL(void, nimGCvisit)(void* d0, NI op0); static N_NIMCALL(void, T_6PEpSVg5zYQiUPcMieikwQ_2)(void); N_NIMCALL(void, nimRegisterGlobalMarker)(TY_T4eqaYlFJYZUv9aG9b1TV0bQ markerproc0); N_NIMCALL(Tsym_AXG7xcvKqaxY6koRX1xkCw*, createmagic_3qzP4MECRIuWs9bfvISxW9cg)(NimStringDesc* name0, Tmagic_shZhZOdbVC5nnFvcXQAImg m0); static N_NIMCALL(void, T_6PEpSVg5zYQiUPcMieikwQ_4)(void); static N_NIMCALL(void, T_6PEpSVg5zYQiUPcMieikwQ_6)(void); static N_NIMCALL(void, T_6PEpSVg5zYQiUPcMieikwQ_8)(void); static N_NIMCALL(void, T_6PEpSVg5zYQiUPcMieikwQ_10)(void); static N_NIMCALL(void, T_6PEpSVg5zYQiUPcMieikwQ_12)(void); static N_NIMCALL(void, T_6PEpSVg5zYQiUPcMieikwQ_14)(void); static N_NIMCALL(void, T_6PEpSVg5zYQiUPcMieikwQ_16)(void); static N_NIMCALL(void, T_6PEpSVg5zYQiUPcMieikwQ_18)(void); static N_NIMCALL(void, T_6PEpSVg5zYQiUPcMieikwQ_20)(void); static N_NIMCALL(void, T_6PEpSVg5zYQiUPcMieikwQ_22)(void); N_NIMCALL(Timplication_t4F29a8ejY1DFQTYTML9c9byA, doesimply_gEoEu2VkGisSqZh9aZEFYCA)(TY_ehmV9bTklH2Gt9cXHV9c0HLeQ* facts0, Tnode_bROa11lyF5vxEN9aYNbHmhw* prop0); N_NIMCALL(Timplication_t4F29a8ejY1DFQTYTML9c9byA, factimplies_ag9bsj603QsRYxrYUB8C9cMQ)(Tnode_bROa11lyF5vxEN9aYNbHmhw* fact0, Tnode_bROa11lyF5vxEN9aYNbHmhw* prop0); N_NIMCALL(Tmagic_shZhZOdbVC5nnFvcXQAImg, getmagic_gSv3iFkSzJc9bXZaNBHR9bQA)(Tnode_bROa11lyF5vxEN9aYNbHmhw* op0); N_NIMCALL(Timplication_t4F29a8ejY1DFQTYTML9c9byA, HEX7E_kB9clRfYeBUrz9cUVamrdB3w)(Timplication_t4F29a8ejY1DFQTYTML9c9byA x0); N_NIMCALL(Timplication_t4F29a8ejY1DFQTYTML9c9byA, impliesisnil_t9c54XcpWxP4FFmaGo7UFXw)(Tnode_bROa11lyF5vxEN9aYNbHmhw* fact0, Tnode_bROa11lyF5vxEN9aYNbHmhw* eq0); N_NIMCALL(NIM_BOOL, sametree_UXwZN9alTEPMzSE3TdR3S3g)(Tnode_bROa11lyF5vxEN9aYNbHmhw* a0, Tnode_bROa11lyF5vxEN9aYNbHmhw* b0); N_NIMCALL(Tsym_AXG7xcvKqaxY6koRX1xkCw*, canonopr_qkdTLyVrTPNU6ZymMQrApw)(Tsym_AXG7xcvKqaxY6koRX1xkCw* opr0); static N_INLINE(NIM_BOOL, eqStrings)(NimStringDesc* a0, NimStringDesc* b0); static N_INLINE(NIM_BOOL, equalmem_fmeFeLBvgmAHG9bC8ETS9bYQropes)(void* a0, void* b0, NI size0); N_NIMCALL(NI, sonslen_qPWPHw7WgJeEVYUdcaRIig)(Tnode_bROa11lyF5vxEN9aYNbHmhw* n0); N_NIMCALL(Timplication_t4F29a8ejY1DFQTYTML9c9byA, valueisnil_GJf0Uuur04FIRFEHHoV9aUA)(Tnode_bROa11lyF5vxEN9aYNbHmhw* n0); N_NIMCALL(Tnode_bROa11lyF5vxEN9aYNbHmhw*, skipconv_6rsSLwtlU9c53a6w69be5JlQ)(Tnode_bROa11lyF5vxEN9aYNbHmhw* n0); N_NIMCALL(void, internalerror_MXmtqrCmYwtOPkDCFgUWKQ)(Tlineinfo_T9c3PM9bs7WZ4LIQfEici9cZw info0, NimStringDesc* errmsg0); N_NIMCALL(Timplication_t4F29a8ejY1DFQTYTML9c9byA, implieseq_t9c54XcpWxP4FFmaGo7UFXw_2)(Tnode_bROa11lyF5vxEN9aYNbHmhw* fact0, Tnode_bROa11lyF5vxEN9aYNbHmhw* eq0); N_NIMCALL(NIM_BOOL, islocation_KmeY8mCvaqT9aBTREfeMUgg)(Tnode_bROa11lyF5vxEN9aYNbHmhw* n0); N_NIMCALL(NIM_BOOL, isvalue_KmeY8mCvaqT9aBTREfeMUgg_2)(Tnode_bROa11lyF5vxEN9aYNbHmhw* n0); N_NIMCALL(NIM_BOOL, valuesunequal_UXwZN9alTEPMzSE3TdR3S3g_2)(Tnode_bROa11lyF5vxEN9aYNbHmhw* a0, Tnode_bROa11lyF5vxEN9aYNbHmhw* b0); N_NIMCALL(NIM_BOOL, samevalue_1Qdwg1ZguEjbL3mmgPJD3w)(Tnode_bROa11lyF5vxEN9aYNbHmhw* a0, Tnode_bROa11lyF5vxEN9aYNbHmhw* b0); N_NIMCALL(NIM_BOOL, inset_b4nxsJCvqXRlyalSWskgNA)(Tnode_bROa11lyF5vxEN9aYNbHmhw* s0, Tnode_bROa11lyF5vxEN9aYNbHmhw* elem0); N_NIMCALL(Timplication_t4F29a8ejY1DFQTYTML9c9byA, impliesle_zW7m5VCjU13sae0oFr8Uww)(Tnode_bROa11lyF5vxEN9aYNbHmhw* fact0, Tnode_bROa11lyF5vxEN9aYNbHmhw* x0, Tnode_bROa11lyF5vxEN9aYNbHmhw* c0); N_NIMCALL(Timplication_t4F29a8ejY1DFQTYTML9c9byA, impliesge_zW7m5VCjU13sae0oFr8Uww_2)(Tnode_bROa11lyF5vxEN9aYNbHmhw* fact0, Tnode_bROa11lyF5vxEN9aYNbHmhw* x0, Tnode_bROa11lyF5vxEN9aYNbHmhw* c0); N_NIMCALL(void, internalerror_5XY9cUy7hZmUusM38U9cYYdw)(NimStringDesc* errmsg0); N_NIMCALL(NimStringDesc*, HEX24_k53Ge4e9cDjc7y9c5uML7sPQ)(TY_XOVT24GHXwqiEj5GCsEGCA x0); N_NIMCALL(NIM_BOOL, levalue_1Qdwg1ZguEjbL3mmgPJD3w_2)(Tnode_bROa11lyF5vxEN9aYNbHmhw* a0, Tnode_bROa11lyF5vxEN9aYNbHmhw* b0); N_NIMCALL(Tnode_bROa11lyF5vxEN9aYNbHmhw*, pred_Pu6FTl2LNngoXwdApMMqKA)(Tnode_bROa11lyF5vxEN9aYNbHmhw* n0); N_NIMCALL(Tnode_bROa11lyF5vxEN9aYNbHmhw*, copynode_lz8T1F9c0YwEOpUnrAUYgjg)(Tnode_bROa11lyF5vxEN9aYNbHmhw* src0); N_NIMCALL(Timplication_t4F29a8ejY1DFQTYTML9c9byA, implieslt_zW7m5VCjU13sae0oFr8Uww_3)(Tnode_bROa11lyF5vxEN9aYNbHmhw* fact0, Tnode_bROa11lyF5vxEN9aYNbHmhw* x0, Tnode_bROa11lyF5vxEN9aYNbHmhw* c0); N_NIMCALL(Timplication_t4F29a8ejY1DFQTYTML9c9byA, impliesin_HL9bcwSOMkA5y4aYejstDyA)(Tnode_bROa11lyF5vxEN9aYNbHmhw* fact0, Tnode_bROa11lyF5vxEN9aYNbHmhw* loc0, Tnode_bROa11lyF5vxEN9aYNbHmhw* aset0); N_NIMCALL(Timplication_t4F29a8ejY1DFQTYTML9c9byA, comparesets_uX14XLtbeJxCxyMrK1w8tQ)(Tnode_bROa11lyF5vxEN9aYNbHmhw* a0, Tnode_bROa11lyF5vxEN9aYNbHmhw* b0); N_NIMCALL(NIM_BOOL, equalsets_tlIBRycg3YyKwtO2aPbGGg_2)(Tnode_bROa11lyF5vxEN9aYNbHmhw* a0, Tnode_bROa11lyF5vxEN9aYNbHmhw* b0); static N_INLINE(NI, len_CdME9baJhvveuPEDZE9bXoxAparser)(Tnode_bROa11lyF5vxEN9aYNbHmhw* n0); N_NIMCALL(Tnode_bROa11lyF5vxEN9aYNbHmhw*, intersectsets_E71eQfYz9b4v2qiZfNF2cdw_2)(Tnode_bROa11lyF5vxEN9aYNbHmhw* a0, Tnode_bROa11lyF5vxEN9aYNbHmhw* b0); N_NIMCALL(Timplication_t4F29a8ejY1DFQTYTML9c9byA, leimpliesin_xO9bWO9cPcOzr2p3b8EOf5lA)(Tnode_bROa11lyF5vxEN9aYNbHmhw* x0, Tnode_bROa11lyF5vxEN9aYNbHmhw* c0, Tnode_bROa11lyF5vxEN9aYNbHmhw* aset0); N_NIMCALL(Tnode_bROa11lyF5vxEN9aYNbHmhw*, newintnode_v2VGJAZNfKPVngZCqEXQtA)(Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw kind0, NI64 intval0); N_NIMCALL(NI64, firstord_HUiBYxvKiECXCv8BzQNheg)(Ttype_LTUWCZolpovw9cWE3JBWSUw* t0); N_NIMCALL(Timplication_t4F29a8ejY1DFQTYTML9c9byA, geimpliesin_xO9bWO9cPcOzr2p3b8EOf5lA_2)(Tnode_bROa11lyF5vxEN9aYNbHmhw* x0, Tnode_bROa11lyF5vxEN9aYNbHmhw* c0, Tnode_bROa11lyF5vxEN9aYNbHmhw* aset0); N_NIMCALL(NI64, lastord_HUiBYxvKiECXCv8BzQNheg_2)(Ttype_LTUWCZolpovw9cWE3JBWSUw* t0); N_NIMCALL(Tnode_bROa11lyF5vxEN9aYNbHmhw*, neg_sCNrMHnQvxnk67uE0fPE6w)(Tnode_bROa11lyF5vxEN9aYNbHmhw* n0); N_NIMCALL(Tnode_bROa11lyF5vxEN9aYNbHmhw*, swapargs_RfZ5FkAa09b9alehGfM2PlEQ)(Tnode_bROa11lyF5vxEN9aYNbHmhw* fact0, Tsym_AXG7xcvKqaxY6koRX1xkCw* newop0); N_NIMCALL(Tnode_bROa11lyF5vxEN9aYNbHmhw*, newnodei_jIQp9ciM8if1a6TX6toZelw)(Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw kind0, Tlineinfo_T9c3PM9bs7WZ4LIQfEici9cZw info0, NI children0); N_NIMCALL(Tnode_bROa11lyF5vxEN9aYNbHmhw*, newsymnode_1ARBpggFQuvUDBVYjBelcw)(Tsym_AXG7xcvKqaxY6koRX1xkCw* sym0); N_NIMCALL(Ttype_LTUWCZolpovw9cWE3JBWSUw*, skiptypes_pLCdCGDuirMe9cspwviV9aVA)(Ttype_LTUWCZolpovw9cWE3JBWSUw* t0, Ttypekind_9a3YiReNVD0IJHWFKgXRe9ag_Set kinds0); N_NIMCALL(Tnode_bROa11lyF5vxEN9aYNbHmhw*, newnodeit_lbGnVdZM6n2HPza7jVIlww)(Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw kind0, Tlineinfo_T9c3PM9bs7WZ4LIQfEici9cZw info0, Ttype_LTUWCZolpovw9cWE3JBWSUw* typ0); N_NIMCALL(void, add_gCCf68XrWL79bKes6htzFjQ_2)(Tnode_bROa11lyF5vxEN9aYNbHmhw* father0, Tnode_bROa11lyF5vxEN9aYNbHmhw* son0); N_NIMCALL(NI64, lengthord_HUiBYxvKiECXCv8BzQNheg_3)(Ttype_LTUWCZolpovw9cWE3JBWSUw* t0); N_NIMCALL(Tnode_bROa11lyF5vxEN9aYNbHmhw*, complement_Yi8Z7ip2BRBum7p5Po1zUQ)(Tnode_bROa11lyF5vxEN9aYNbHmhw* a0); N_NIMCALL(Tnode_bROa11lyF5vxEN9aYNbHmhw*, buildcall_tPaBmwSthpx0WsKCReKucA)(Tsym_AXG7xcvKqaxY6koRX1xkCw* op0, Tnode_bROa11lyF5vxEN9aYNbHmhw* a0); N_NIMCALL(Tnode_bROa11lyF5vxEN9aYNbHmhw*, buildproperfieldcheck_vRuDj77pxqAXKkvGfXDgiw)(Tnode_bROa11lyF5vxEN9aYNbHmhw* access0, Tnode_bROa11lyF5vxEN9aYNbHmhw* check0); N_NIMCALL(Tnode_bROa11lyF5vxEN9aYNbHmhw*, copytree_lz8T1F9c0YwEOpUnrAUYgjg_2)(Tnode_bROa11lyF5vxEN9aYNbHmhw* src0); N_NIMCALL(void, message_VpilfPWbplGz6ny7O9cfr2g)(Tlineinfo_T9c3PM9bs7WZ4LIQfEici9cZw info0, Tmsgkind_IGAWgv9aR2KqPKJfPZPEWaw msg0, NimStringDesc* arg0); N_NIMCALL(NimStringDesc*, rendertree_ppjdh9aQ5L0SGPF8yz1gZ9cA)(Tnode_bROa11lyF5vxEN9aYNbHmhw* n0, Trenderflag_wrPgUo1ExBlHvFnXN2nSHw_Set renderflags0); N_NIMCALL(NIM_BOOL, hassubtree_cBZOucNLGW1FSTUBSuSXvA)(Tnode_bROa11lyF5vxEN9aYNbHmhw* n0, Tnode_bROa11lyF5vxEN9aYNbHmhw* x0); static N_INLINE(NI, safelen_CdME9baJhvveuPEDZE9bXoxAsigmatch)(Tnode_bROa11lyF5vxEN9aYNbHmhw* n0); N_NIMCALL(TGenericSeq*, incrSeqV2)(TGenericSeq* seq0, NI elemsize0); N_NIMCALL(NIM_BOOL, isletlocation_hUtXOV1wmdV9bRxZi9bWn27w)(Tnode_bROa11lyF5vxEN9aYNbHmhw* m0, NIM_BOOL isapprox0); N_NIMCALL(NIM_BOOL, isconstexpr_FTbvAnf1y9b9c3Krp9bsHDTiw_4)(Tnode_bROa11lyF5vxEN9aYNbHmhw* n0); N_NIMCALL(NIM_BOOL, islet_KmeY8mCvaqT9aBTREfeMUgg_3)(Tnode_bROa11lyF5vxEN9aYNbHmhw* n0); N_NIMCALL(NIM_BOOL, isvar_KmeY8mCvaqT9aBTREfeMUgg_4)(Tnode_bROa11lyF5vxEN9aYNbHmhw* n0); N_NIMCALL(Tnode_bROa11lyF5vxEN9aYNbHmhw*, buildof_NVshml6ZJOBP9cdUqcpQ9aSg)(Tnode_bROa11lyF5vxEN9aYNbHmhw* it0, Tnode_bROa11lyF5vxEN9aYNbHmhw* loc0); N_NIMCALL(Ttype_LTUWCZolpovw9cWE3JBWSUw*, settype_1u1vvPdCOTg50TbEWlYFgg)(Tnode_bROa11lyF5vxEN9aYNbHmhw* n0); N_NIMCALL(Ttype_LTUWCZolpovw9cWE3JBWSUw*, newtype_FL9cZh2bRuJE31MWfcWQ4Yg)(Ttypekind_9a3YiReNVD0IJHWFKgXRe9ag kind0, Tsym_AXG7xcvKqaxY6koRX1xkCw* owner0); N_NIMCALL(void, addsonskipintlit_d0ho9bIGF3YeWTv0iA2z9awA)(Ttype_LTUWCZolpovw9cWE3JBWSUw* father0, Ttype_LTUWCZolpovw9cWE3JBWSUw* son0); N_NIMCALL(Tnode_bROa11lyF5vxEN9aYNbHmhw*, buildelse_sCNrMHnQvxnk67uE0fPE6w_2)(Tnode_bROa11lyF5vxEN9aYNbHmhw* n0); N_NIMCALL(Tnode_bROa11lyF5vxEN9aYNbHmhw*, usefulfact_sCNrMHnQvxnk67uE0fPE6w_3)(Tnode_bROa11lyF5vxEN9aYNbHmhw* n0); static N_INLINE(Tnode_bROa11lyF5vxEN9aYNbHmhw*, HEX5BHEX5D_4mGh5VHoHoaSkXDYdG6pyAparser)(Tnode_bROa11lyF5vxEN9aYNbHmhw* n0, NI i0); N_NIMCALL(Tnode_bROa11lyF5vxEN9aYNbHmhw*, lastson_esDJA7239bJDiq4UrX9aHCjg)(Tnode_bROa11lyF5vxEN9aYNbHmhw* n0); N_NIMCALL(void, addfact_bFUEMjbKo9b9auJEiVd0ZQYQ)(TY_ehmV9bTklH2Gt9cXHV9c0HLeQ** m0, Tnode_bROa11lyF5vxEN9aYNbHmhw* nn0); Tsym_AXG7xcvKqaxY6koRX1xkCw* ople_Ay4JQP9avFnuzaYTqtLf5kA; extern TNimType NTI_83n62yi1b9bgUtRR9axFWW9ag; Tsym_AXG7xcvKqaxY6koRX1xkCw* oplt_uXgLk9a8f2hJkmqT9bsAf9a5g; Tsym_AXG7xcvKqaxY6koRX1xkCw* opand_EEp3lD9cJvoBFv6lre6UN9bQ; Tsym_AXG7xcvKqaxY6koRX1xkCw* opor_n8x9bd0E7rl9cMTzNk6MBwPQ; Tsym_AXG7xcvKqaxY6koRX1xkCw* opisnil_kLGVMG4g3jeU2qICjFTf9ag; Tsym_AXG7xcvKqaxY6koRX1xkCw* opeq_D0Nlpf9cFCp7tN1CjSXlPXQ; Tsym_AXG7xcvKqaxY6koRX1xkCw* opadd_MiKjpneuY9b6L9ceIpZUhAaQ; Tsym_AXG7xcvKqaxY6koRX1xkCw* opsub_g1SkvGaxEx9aWKtX49a9b843Q; Tsym_AXG7xcvKqaxY6koRX1xkCw* opmul_q1x09coi9aw6h3PYnIi6dX3w; Tsym_AXG7xcvKqaxY6koRX1xkCw* opdiv_LCgxGgIJghtQCdMbQuFRrQ; Tsym_AXG7xcvKqaxY6koRX1xkCw* oplen_Fm3hbG9cxqj29cNB0N7XW2Xw; extern Tsym_AXG7xcvKqaxY6koRX1xkCw* opnot_2zvmXY9boCxoQRE3yP6cC2g; extern Tsym_AXG7xcvKqaxY6koRX1xkCw* opcontains_fo9avnO4EeI9a0JW1JwmdMJA; STRING_LITERAL(T_6PEpSVg5zYQiUPcMieikwQ_3, "<=", 2); STRING_LITERAL(T_6PEpSVg5zYQiUPcMieikwQ_5, "<", 1); STRING_LITERAL(T_6PEpSVg5zYQiUPcMieikwQ_7, "and", 3); STRING_LITERAL(T_6PEpSVg5zYQiUPcMieikwQ_9, "or", 2); STRING_LITERAL(T_6PEpSVg5zYQiUPcMieikwQ_11, "isnil", 5); STRING_LITERAL(T_6PEpSVg5zYQiUPcMieikwQ_13, "==", 2); STRING_LITERAL(T_6PEpSVg5zYQiUPcMieikwQ_15, "+", 1); STRING_LITERAL(T_6PEpSVg5zYQiUPcMieikwQ_17, "-", 1); STRING_LITERAL(T_6PEpSVg5zYQiUPcMieikwQ_19, "*", 1); STRING_LITERAL(T_6PEpSVg5zYQiUPcMieikwQ_21, "div", 3); STRING_LITERAL(T_6PEpSVg5zYQiUPcMieikwQ_23, "len", 3); STRING_LITERAL(T_6PEpSVg5zYQiUPcMieikwQ_24, "impliesIsNil", 12); NIM_CONST TY_1v9bKyksXWMsm0vNwmZ4EuQ T_6PEpSVg5zYQiUPcMieikwQ_25 = {((NI) 1), ((NI) 2)} ; NIM_CONST TY_1v9bKyksXWMsm0vNwmZ4EuQ T_6PEpSVg5zYQiUPcMieikwQ_26 = {((NI) 2), ((NI) 1)} ; STRING_LITERAL(T_6PEpSVg5zYQiUPcMieikwQ_27, "impliesEq", 9); STRING_LITERAL(T_6PEpSVg5zYQiUPcMieikwQ_29, "compiler/guards.nim", 19); NIM_CONST TY_XOVT24GHXwqiEj5GCsEGCA T_6PEpSVg5zYQiUPcMieikwQ_28 = {((NimStringDesc*) &T_6PEpSVg5zYQiUPcMieikwQ_29), ((NI) 574)} ; STRING_LITERAL(T_6PEpSVg5zYQiUPcMieikwQ_30, "impliesGe", 9); STRING_LITERAL(T_6PEpSVg5zYQiUPcMieikwQ_31, "impliesLe", 9); STRING_LITERAL(T_6PEpSVg5zYQiUPcMieikwQ_32, "impliesIn", 9); static N_NIMCALL(void, T_6PEpSVg5zYQiUPcMieikwQ_2)(void) { nimGCvisit((void*)ople_Ay4JQP9avFnuzaYTqtLf5kA, 0); } static N_NIMCALL(void, T_6PEpSVg5zYQiUPcMieikwQ_4)(void) { nimGCvisit((void*)oplt_uXgLk9a8f2hJkmqT9bsAf9a5g, 0); } static N_NIMCALL(void, T_6PEpSVg5zYQiUPcMieikwQ_6)(void) { nimGCvisit((void*)opand_EEp3lD9cJvoBFv6lre6UN9bQ, 0); } static N_NIMCALL(void, T_6PEpSVg5zYQiUPcMieikwQ_8)(void) { nimGCvisit((void*)opor_n8x9bd0E7rl9cMTzNk6MBwPQ, 0); } static N_NIMCALL(void, T_6PEpSVg5zYQiUPcMieikwQ_10)(void) { nimGCvisit((void*)opisnil_kLGVMG4g3jeU2qICjFTf9ag, 0); } static N_NIMCALL(void, T_6PEpSVg5zYQiUPcMieikwQ_12)(void) { nimGCvisit((void*)opeq_D0Nlpf9cFCp7tN1CjSXlPXQ, 0); } static N_NIMCALL(void, T_6PEpSVg5zYQiUPcMieikwQ_14)(void) { nimGCvisit((void*)opadd_MiKjpneuY9b6L9ceIpZUhAaQ, 0); } static N_NIMCALL(void, T_6PEpSVg5zYQiUPcMieikwQ_16)(void) { nimGCvisit((void*)opsub_g1SkvGaxEx9aWKtX49a9b843Q, 0); } static N_NIMCALL(void, T_6PEpSVg5zYQiUPcMieikwQ_18)(void) { nimGCvisit((void*)opmul_q1x09coi9aw6h3PYnIi6dX3w, 0); } static N_NIMCALL(void, T_6PEpSVg5zYQiUPcMieikwQ_20)(void) { nimGCvisit((void*)opdiv_LCgxGgIJghtQCdMbQuFRrQ, 0); } static N_NIMCALL(void, T_6PEpSVg5zYQiUPcMieikwQ_22)(void) { nimGCvisit((void*)oplen_Fm3hbG9cxqj29cNB0N7XW2Xw, 0); } N_NIMCALL(Timplication_t4F29a8ejY1DFQTYTML9c9byA, HEX7E_kB9clRfYeBUrz9cUVamrdB3w)(Timplication_t4F29a8ejY1DFQTYTML9c9byA x0) { Timplication_t4F29a8ejY1DFQTYTML9c9byA result0; result0 = (Timplication_t4F29a8ejY1DFQTYTML9c9byA)0; switch (x0) { case ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 0): { result0 = ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 0); } break; case ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 1): { result0 = ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 2); } break; case ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 2): { result0 = ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 1); } break; } return result0; } N_NIMCALL(Tsym_AXG7xcvKqaxY6koRX1xkCw*, canonopr_qkdTLyVrTPNU6ZymMQrApw)(Tsym_AXG7xcvKqaxY6koRX1xkCw* opr0) { Tsym_AXG7xcvKqaxY6koRX1xkCw* result0; result0 = (Tsym_AXG7xcvKqaxY6koRX1xkCw*)0; switch ((*opr0).magic) { case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 70): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 73): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 80): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 83): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 86): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 89): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 95): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 90): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 128): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 131): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 94): { result0 = opeq_D0Nlpf9cFCp7tN1CjSXlPXQ; } break; case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 71): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 74): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 76): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 78): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 81): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 84): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 87): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 91): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 129): { result0 = ople_Ay4JQP9avFnuzaYTqtLf5kA; } break; case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 72): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 75): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 77): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 79): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 82): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 85): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 88): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 92): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 130): { result0 = oplt_uXgLk9a8f2hJkmqT9bsAf9a5g; } break; case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 33): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 34): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 35): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 36): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 37): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 38): { result0 = oplen_Fm3hbG9cxqj29cNB0N7XW2Xw; } break; case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 45): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 52): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 50): { result0 = opadd_MiKjpneuY9b6L9ceIpZUhAaQ; } break; case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 46): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 53): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 51): { result0 = opsub_g1SkvGaxEx9aWKtX49a9b843Q; } break; case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 47): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 54): { result0 = opmul_q1x09coi9aw6h3PYnIi6dX3w; } break; case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 48): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 55): { result0 = opdiv_LCgxGgIJghtQCdMbQuFRrQ; } break; default: { result0 = opr0; } break; } return result0; } static N_INLINE(NIM_BOOL, equalmem_fmeFeLBvgmAHG9bC8ETS9bYQropes)(void* a0, void* b0, NI size0) { NIM_BOOL result0; int LOC1; result0 = (NIM_BOOL)0; LOC1 = (int)0; LOC1 = memcmp(a0, b0, ((size_t) (size0))); result0 = (LOC1 == ((NI32) 0)); return result0; } static N_INLINE(NIM_BOOL, eqStrings)(NimStringDesc* a0, NimStringDesc* b0) { NIM_BOOL result0; NIM_BOOL LOC11; { result0 = (NIM_BOOL)0; { if (!(a0 == b0)) goto LA3; result0 = NIM_TRUE; goto BeforeRet; } LA3: ; { NIM_BOOL LOC7; LOC7 = (NIM_BOOL)0; LOC7 = (a0 == NIM_NIL); if (LOC7) goto LA8; LOC7 = (b0 == NIM_NIL); LA8: ; if (!LOC7) goto LA9; result0 = NIM_FALSE; goto BeforeRet; } LA9: ; LOC11 = (NIM_BOOL)0; LOC11 = ((*a0).Sup.len == (*b0).Sup.len); if (!(LOC11)) goto LA12; LOC11 = equalmem_fmeFeLBvgmAHG9bC8ETS9bYQropes(((void*) ((*a0).data)), ((void*) ((*b0).data)), ((NI) ((*a0).Sup.len))); LA12: ; result0 = LOC11; goto BeforeRet; }BeforeRet: ; return result0; } N_NIMCALL(NIM_BOOL, sametree_UXwZN9alTEPMzSE3TdR3S3g)(Tnode_bROa11lyF5vxEN9aYNbHmhw* a0, Tnode_bROa11lyF5vxEN9aYNbHmhw* b0) { NIM_BOOL result0; { result0 = (NIM_BOOL)0; result0 = NIM_FALSE; { if (!(a0 == b0)) goto LA3; result0 = NIM_TRUE; } goto LA1; LA3: ; { NIM_BOOL LOC6; NIM_BOOL LOC7; LOC6 = (NIM_BOOL)0; LOC7 = (NIM_BOOL)0; LOC7 = !((a0 == NIM_NIL)); if (!(LOC7)) goto LA8; LOC7 = !((b0 == NIM_NIL)); LA8: ; LOC6 = LOC7; if (!(LOC6)) goto LA9; LOC6 = ((*a0).kind == (*b0).kind); LA9: ; if (!LOC6) goto LA10; switch ((*a0).kind) { case ((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 3): { result0 = ((*a0).kindU.S4.sym == (*b0).kindU.S4.sym); { NIM_BOOL LOC15; NIM_BOOL LOC19; Tsym_AXG7xcvKqaxY6koRX1xkCw* LOC21; Tsym_AXG7xcvKqaxY6koRX1xkCw* LOC22; LOC15 = (NIM_BOOL)0; LOC15 = !(result0); if (!(LOC15)) goto LA16; LOC15 = !(((*(*a0).kindU.S4.sym).magic == ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 0))); LA16: ; if (!LOC15) goto LA17; LOC19 = (NIM_BOOL)0; LOC19 = ((*(*a0).kindU.S4.sym).magic == (*(*b0).kindU.S4.sym).magic); if (LOC19) goto LA20; LOC21 = (Tsym_AXG7xcvKqaxY6koRX1xkCw*)0; LOC21 = canonopr_qkdTLyVrTPNU6ZymMQrApw((*a0).kindU.S4.sym); LOC22 = (Tsym_AXG7xcvKqaxY6koRX1xkCw*)0; LOC22 = canonopr_qkdTLyVrTPNU6ZymMQrApw((*b0).kindU.S4.sym); LOC19 = (LOC21 == LOC22); LA20: ; result0 = LOC19; } LA17: ; } break; case ((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 2): { result0 = ((*(*a0).kindU.S5.ident).Sup.id == (*(*b0).kindU.S5.ident).Sup.id); } break; case ((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 5) ... ((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 10): { result0 = ((*a0).kindU.S1.intval == (*b0).kindU.S1.intval); } break; case ((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 16) ... ((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 18): { result0 = ((*a0).kindU.S2.floatval == (*b0).kindU.S2.floatval); } break; case ((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 20) ... ((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 22): { result0 = eqStrings((*a0).kindU.S3.strval, (*b0).kindU.S3.strval); } break; case ((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 4): { result0 = ((*a0).typ == (*b0).typ); } break; case ((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 1): case ((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 23): { result0 = NIM_TRUE; } break; default: { { NI LOC32; NI LOC33; LOC32 = (NI)0; LOC32 = sonslen_qPWPHw7WgJeEVYUdcaRIig(a0); LOC33 = (NI)0; LOC33 = sonslen_qPWPHw7WgJeEVYUdcaRIig(b0); if (!(LOC32 == LOC33)) goto LA34; { NI i_Ceg28fmGCCNs5fNNe3IpkQ; NI HEX3Atmp_MyaaSaFfy6mVve1SxM6Wdg; NI LOC37; NI res_cuv6fZl4fcQfsQbkBxk0ug; i_Ceg28fmGCCNs5fNNe3IpkQ = (NI)0; HEX3Atmp_MyaaSaFfy6mVve1SxM6Wdg = (NI)0; LOC37 = (NI)0; LOC37 = sonslen_qPWPHw7WgJeEVYUdcaRIig(a0); HEX3Atmp_MyaaSaFfy6mVve1SxM6Wdg = (NI)(LOC37 - ((NI) 1)); res_cuv6fZl4fcQfsQbkBxk0ug = ((NI) 0); { while (1) { if (!(res_cuv6fZl4fcQfsQbkBxk0ug <= HEX3Atmp_MyaaSaFfy6mVve1SxM6Wdg)) goto LA39; i_Ceg28fmGCCNs5fNNe3IpkQ = res_cuv6fZl4fcQfsQbkBxk0ug; { NIM_BOOL LOC42; LOC42 = (NIM_BOOL)0; LOC42 = sametree_UXwZN9alTEPMzSE3TdR3S3g((*a0).kindU.S6.sons->data[i_Ceg28fmGCCNs5fNNe3IpkQ], (*b0).kindU.S6.sons->data[i_Ceg28fmGCCNs5fNNe3IpkQ]); if (!!(LOC42)) goto LA43; goto BeforeRet; } LA43: ; res_cuv6fZl4fcQfsQbkBxk0ug += ((NI) 1); } LA39: ; } } result0 = NIM_TRUE; } LA34: ; } break; } } goto LA1; LA10: ; LA1: ; }BeforeRet: ; return result0; } N_NIMCALL(Timplication_t4F29a8ejY1DFQTYTML9c9byA, valueisnil_GJf0Uuur04FIRFEHHoV9aUA)(Tnode_bROa11lyF5vxEN9aYNbHmhw* n0) { Timplication_t4F29a8ejY1DFQTYTML9c9byA result0; result0 = (Timplication_t4F29a8ejY1DFQTYTML9c9byA)0; { if (!((*n0).kind == ((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 23))) goto LA3; result0 = ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 2); } goto LA1; LA3: ; { if (!((*n0).kind >= ((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 20) && (*n0).kind <= ((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 22) || (*n0).kind == ((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 41) || (*n0).kind == ((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 38))) goto LA6; result0 = ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 1); } goto LA1; LA6: ; { result0 = ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 0); } LA1: ; return result0; } N_NIMCALL(Timplication_t4F29a8ejY1DFQTYTML9c9byA, impliesisnil_t9c54XcpWxP4FFmaGo7UFXw)(Tnode_bROa11lyF5vxEN9aYNbHmhw* fact0, Tnode_bROa11lyF5vxEN9aYNbHmhw* eq0) { Timplication_t4F29a8ejY1DFQTYTML9c9byA result0; result0 = (Timplication_t4F29a8ejY1DFQTYTML9c9byA)0; switch ((*(*(*fact0).kindU.S6.sons->data[((NI) 0)]).kindU.S4.sym).magic) { case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 157): { { NIM_BOOL LOC4; LOC4 = (NIM_BOOL)0; LOC4 = sametree_UXwZN9alTEPMzSE3TdR3S3g((*fact0).kindU.S6.sons->data[((NI) 1)], (*eq0).kindU.S6.sons->data[((NI) 1)]); if (!LOC4) goto LA5; result0 = ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 2); } LA5: ; } break; case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 70): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 73): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 80): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 83): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 86): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 89): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 95): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 90): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 128): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 131): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 94): { { NIM_BOOL LOC10; Tnode_bROa11lyF5vxEN9aYNbHmhw* LOC13; LOC10 = (NIM_BOOL)0; LOC10 = sametree_UXwZN9alTEPMzSE3TdR3S3g((*fact0).kindU.S6.sons->data[((NI) 1)], (*eq0).kindU.S6.sons->data[((NI) 1)]); if (!LOC10) goto LA11; LOC13 = (Tnode_bROa11lyF5vxEN9aYNbHmhw*)0; LOC13 = skipconv_6rsSLwtlU9c53a6w69be5JlQ((*fact0).kindU.S6.sons->data[((NI) 2)]); result0 = valueisnil_GJf0Uuur04FIRFEHHoV9aUA(LOC13); } goto LA8; LA11: ; { NIM_BOOL LOC15; Tnode_bROa11lyF5vxEN9aYNbHmhw* LOC18; LOC15 = (NIM_BOOL)0; LOC15 = sametree_UXwZN9alTEPMzSE3TdR3S3g((*fact0).kindU.S6.sons->data[((NI) 2)], (*eq0).kindU.S6.sons->data[((NI) 1)]); if (!LOC15) goto LA16; LOC18 = (Tnode_bROa11lyF5vxEN9aYNbHmhw*)0; LOC18 = skipconv_6rsSLwtlU9c53a6w69be5JlQ((*fact0).kindU.S6.sons->data[((NI) 1)]); result0 = valueisnil_GJf0Uuur04FIRFEHHoV9aUA(LOC18); } goto LA8; LA16: ; LA8: ; } break; case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 99): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 127): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 126): { internalerror_MXmtqrCmYwtOPkDCFgUWKQ((*eq0).info, ((NimStringDesc*) &T_6PEpSVg5zYQiUPcMieikwQ_24)); } break; default: { } break; } return result0; } N_NIMCALL(NIM_BOOL, isvalue_KmeY8mCvaqT9aBTREfeMUgg_2)(Tnode_bROa11lyF5vxEN9aYNbHmhw* n0) { NIM_BOOL result0; result0 = (NIM_BOOL)0; result0 = ((*n0).kind >= ((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 5) && (*n0).kind <= ((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 23)); return result0; } N_NIMCALL(NIM_BOOL, islocation_KmeY8mCvaqT9aBTREfeMUgg)(Tnode_bROa11lyF5vxEN9aYNbHmhw* n0) { NIM_BOOL result0; NIM_BOOL LOC1; result0 = (NIM_BOOL)0; LOC1 = (NIM_BOOL)0; LOC1 = isvalue_KmeY8mCvaqT9aBTREfeMUgg_2(n0); result0 = !(LOC1); return result0; } N_NIMCALL(NIM_BOOL, valuesunequal_UXwZN9alTEPMzSE3TdR3S3g_2)(Tnode_bROa11lyF5vxEN9aYNbHmhw* a0, Tnode_bROa11lyF5vxEN9aYNbHmhw* b0) { NIM_BOOL result0; result0 = (NIM_BOOL)0; { NIM_BOOL LOC3; NIM_BOOL LOC7; LOC3 = (NIM_BOOL)0; LOC3 = isvalue_KmeY8mCvaqT9aBTREfeMUgg_2(a0); if (!(LOC3)) goto LA4; LOC3 = isvalue_KmeY8mCvaqT9aBTREfeMUgg_2(b0); LA4: ; if (!LOC3) goto LA5; LOC7 = (NIM_BOOL)0; LOC7 = samevalue_1Qdwg1ZguEjbL3mmgPJD3w(a0, b0); result0 = !(LOC7); } LA5: ; return result0; } N_NIMCALL(Timplication_t4F29a8ejY1DFQTYTML9c9byA, implieseq_t9c54XcpWxP4FFmaGo7UFXw_2)(Tnode_bROa11lyF5vxEN9aYNbHmhw* fact0, Tnode_bROa11lyF5vxEN9aYNbHmhw* eq0) { Timplication_t4F29a8ejY1DFQTYTML9c9byA result0; TY_1v9bKyksXWMsm0vNwmZ4EuQ LOC1; NI loc0; NI val0; result0 = (Timplication_t4F29a8ejY1DFQTYTML9c9byA)0; { NIM_BOOL LOC4; LOC4 = (NIM_BOOL)0; LOC4 = islocation_KmeY8mCvaqT9aBTREfeMUgg((*eq0).kindU.S6.sons->data[((NI) 1)]); if (!LOC4) goto LA5; LOC1 = T_6PEpSVg5zYQiUPcMieikwQ_25; } goto LA2; LA5: ; { LOC1 = T_6PEpSVg5zYQiUPcMieikwQ_26; } LA2: ; loc0 = LOC1.Field0; val0 = LOC1.Field1; switch ((*(*(*fact0).kindU.S6.sons->data[((NI) 0)]).kindU.S4.sym).magic) { case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 70): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 73): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 80): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 83): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 86): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 89): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 95): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 90): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 128): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 131): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 94): { { NIM_BOOL LOC11; LOC11 = (NIM_BOOL)0; LOC11 = sametree_UXwZN9alTEPMzSE3TdR3S3g((*fact0).kindU.S6.sons->data[((NI) 1)], (*eq0).kindU.S6.sons->data[loc0]); if (!LOC11) goto LA12; { NIM_BOOL LOC16; LOC16 = (NIM_BOOL)0; LOC16 = sametree_UXwZN9alTEPMzSE3TdR3S3g((*fact0).kindU.S6.sons->data[((NI) 2)], (*eq0).kindU.S6.sons->data[val0]); if (!LOC16) goto LA17; result0 = ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 2); } goto LA14; LA17: ; { NIM_BOOL LOC20; LOC20 = (NIM_BOOL)0; LOC20 = valuesunequal_UXwZN9alTEPMzSE3TdR3S3g_2((*fact0).kindU.S6.sons->data[((NI) 2)], (*eq0).kindU.S6.sons->data[val0]); if (!LOC20) goto LA21; result0 = ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 1); } goto LA14; LA21: ; LA14: ; } goto LA9; LA12: ; { NIM_BOOL LOC24; LOC24 = (NIM_BOOL)0; LOC24 = sametree_UXwZN9alTEPMzSE3TdR3S3g((*fact0).kindU.S6.sons->data[((NI) 2)], (*eq0).kindU.S6.sons->data[loc0]); if (!LOC24) goto LA25; { NIM_BOOL LOC29; LOC29 = (NIM_BOOL)0; LOC29 = sametree_UXwZN9alTEPMzSE3TdR3S3g((*fact0).kindU.S6.sons->data[((NI) 1)], (*eq0).kindU.S6.sons->data[val0]); if (!LOC29) goto LA30; result0 = ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 2); } goto LA27; LA30: ; { NIM_BOOL LOC33; LOC33 = (NIM_BOOL)0; LOC33 = valuesunequal_UXwZN9alTEPMzSE3TdR3S3g_2((*fact0).kindU.S6.sons->data[((NI) 1)], (*eq0).kindU.S6.sons->data[val0]); if (!LOC33) goto LA34; result0 = ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 1); } goto LA27; LA34: ; LA27: ; } goto LA9; LA25: ; LA9: ; } break; case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 148): { { NIM_BOOL LOC39; LOC39 = (NIM_BOOL)0; LOC39 = sametree_UXwZN9alTEPMzSE3TdR3S3g((*fact0).kindU.S6.sons->data[((NI) 2)], (*eq0).kindU.S6.sons->data[loc0]); if (!(LOC39)) goto LA40; LOC39 = isvalue_KmeY8mCvaqT9aBTREfeMUgg_2((*eq0).kindU.S6.sons->data[val0]); LA40: ; if (!LOC39) goto LA41; { NIM_BOOL LOC45; LOC45 = (NIM_BOOL)0; LOC45 = inset_b4nxsJCvqXRlyalSWskgNA((*fact0).kindU.S6.sons->data[((NI) 1)], (*eq0).kindU.S6.sons->data[val0]); if (!LOC45) goto LA46; result0 = ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 2); } goto LA43; LA46: ; { result0 = ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 1); } LA43: ; } LA41: ; } break; case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 99): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 127): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 126): { internalerror_MXmtqrCmYwtOPkDCFgUWKQ((*eq0).info, ((NimStringDesc*) &T_6PEpSVg5zYQiUPcMieikwQ_27)); } break; default: { } break; } return result0; } N_NIMCALL(Tnode_bROa11lyF5vxEN9aYNbHmhw*, pred_Pu6FTl2LNngoXwdApMMqKA)(Tnode_bROa11lyF5vxEN9aYNbHmhw* n0) { Tnode_bROa11lyF5vxEN9aYNbHmhw* result0; result0 = (Tnode_bROa11lyF5vxEN9aYNbHmhw*)0; { NIM_BOOL LOC3; LOC3 = (NIM_BOOL)0; LOC3 = ((*n0).kind >= ((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 5) && (*n0).kind <= ((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 15)); if (!(LOC3)) goto LA4; LOC3 = !(((*n0).kindU.S1.intval == (IL64(-9223372036854775807) - IL64(1)))); LA4: ; if (!LOC3) goto LA5; result0 = copynode_lz8T1F9c0YwEOpUnrAUYgjg(n0); (*result0).kindU.S1.intval -= ((NI) 1); } goto LA1; LA5: ; { result0 = n0; } LA1: ; return result0; } N_NIMCALL(Timplication_t4F29a8ejY1DFQTYTML9c9byA, impliesge_zW7m5VCjU13sae0oFr8Uww_2)(Tnode_bROa11lyF5vxEN9aYNbHmhw* fact0, Tnode_bROa11lyF5vxEN9aYNbHmhw* x0, Tnode_bROa11lyF5vxEN9aYNbHmhw* c0) { Timplication_t4F29a8ejY1DFQTYTML9c9byA result0; result0 = (Timplication_t4F29a8ejY1DFQTYTML9c9byA)0; { NIM_BOOL LOC3; NimStringDesc* LOC6; LOC3 = (NIM_BOOL)0; LOC3 = islocation_KmeY8mCvaqT9aBTREfeMUgg(x0); if (!!(LOC3)) goto LA4; LOC6 = (NimStringDesc*)0; LOC6 = HEX24_k53Ge4e9cDjc7y9c5uML7sPQ(T_6PEpSVg5zYQiUPcMieikwQ_28); internalerror_5XY9cUy7hZmUusM38U9cYYdw(LOC6); } LA4: ; switch ((*(*(*fact0).kindU.S6.sons->data[((NI) 0)]).kindU.S4.sym).magic) { case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 70): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 73): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 80): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 83): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 86): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 89): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 95): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 90): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 128): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 131): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 94): { { NIM_BOOL LOC10; LOC10 = (NIM_BOOL)0; LOC10 = sametree_UXwZN9alTEPMzSE3TdR3S3g((*fact0).kindU.S6.sons->data[((NI) 1)], x0); if (!LOC10) goto LA11; { NIM_BOOL LOC15; LOC15 = (NIM_BOOL)0; LOC15 = isvalue_KmeY8mCvaqT9aBTREfeMUgg_2((*fact0).kindU.S6.sons->data[((NI) 2)]); if (!(LOC15)) goto LA16; LOC15 = isvalue_KmeY8mCvaqT9aBTREfeMUgg_2(c0); LA16: ; if (!LOC15) goto LA17; { NIM_BOOL LOC21; LOC21 = (NIM_BOOL)0; LOC21 = levalue_1Qdwg1ZguEjbL3mmgPJD3w_2(c0, (*fact0).kindU.S6.sons->data[((NI) 2)]); if (!LOC21) goto LA22; result0 = ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 2); } goto LA19; LA22: ; { result0 = ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 1); } LA19: ; } LA17: ; } goto LA8; LA11: ; { NIM_BOOL LOC26; LOC26 = (NIM_BOOL)0; LOC26 = sametree_UXwZN9alTEPMzSE3TdR3S3g((*fact0).kindU.S6.sons->data[((NI) 2)], x0); if (!LOC26) goto LA27; { NIM_BOOL LOC31; LOC31 = (NIM_BOOL)0; LOC31 = isvalue_KmeY8mCvaqT9aBTREfeMUgg_2((*fact0).kindU.S6.sons->data[((NI) 1)]); if (!(LOC31)) goto LA32; LOC31 = isvalue_KmeY8mCvaqT9aBTREfeMUgg_2(c0); LA32: ; if (!LOC31) goto LA33; { NIM_BOOL LOC37; LOC37 = (NIM_BOOL)0; LOC37 = levalue_1Qdwg1ZguEjbL3mmgPJD3w_2(c0, (*fact0).kindU.S6.sons->data[((NI) 1)]); if (!LOC37) goto LA38; result0 = ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 2); } goto LA35; LA38: ; { result0 = ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 1); } LA35: ; } LA33: ; } goto LA8; LA27: ; LA8: ; } break; case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 72): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 75): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 77): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 79): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 82): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 85): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 88): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 92): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 130): { { NIM_BOOL LOC44; LOC44 = (NIM_BOOL)0; LOC44 = sametree_UXwZN9alTEPMzSE3TdR3S3g((*fact0).kindU.S6.sons->data[((NI) 1)], x0); if (!LOC44) goto LA45; { NIM_BOOL LOC49; LOC49 = (NIM_BOOL)0; LOC49 = isvalue_KmeY8mCvaqT9aBTREfeMUgg_2((*fact0).kindU.S6.sons->data[((NI) 2)]); if (!(LOC49)) goto LA50; LOC49 = isvalue_KmeY8mCvaqT9aBTREfeMUgg_2(c0); LA50: ; if (!LOC49) goto LA51; { NIM_BOOL LOC55; LOC55 = (NIM_BOOL)0; LOC55 = levalue_1Qdwg1ZguEjbL3mmgPJD3w_2((*fact0).kindU.S6.sons->data[((NI) 2)], c0); if (!LOC55) goto LA56; result0 = ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 1); } LA56: ; } LA51: ; } goto LA42; LA45: ; { NIM_BOOL LOC59; LOC59 = (NIM_BOOL)0; LOC59 = sametree_UXwZN9alTEPMzSE3TdR3S3g((*fact0).kindU.S6.sons->data[((NI) 2)], x0); if (!LOC59) goto LA60; { NIM_BOOL LOC64; LOC64 = (NIM_BOOL)0; LOC64 = isvalue_KmeY8mCvaqT9aBTREfeMUgg_2((*fact0).kindU.S6.sons->data[((NI) 1)]); if (!(LOC64)) goto LA65; LOC64 = isvalue_KmeY8mCvaqT9aBTREfeMUgg_2(c0); LA65: ; if (!LOC64) goto LA66; { Tnode_bROa11lyF5vxEN9aYNbHmhw* LOC70; NIM_BOOL LOC71; LOC70 = (Tnode_bROa11lyF5vxEN9aYNbHmhw*)0; LOC70 = pred_Pu6FTl2LNngoXwdApMMqKA(c0); LOC71 = (NIM_BOOL)0; LOC71 = levalue_1Qdwg1ZguEjbL3mmgPJD3w_2(LOC70, (*fact0).kindU.S6.sons->data[((NI) 1)]); if (!LOC71) goto LA72; result0 = ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 2); } LA72: ; } LA66: ; } goto LA42; LA60: ; LA42: ; } break; case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 71): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 74): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 76): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 78): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 81): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 84): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 87): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 91): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 129): { { NIM_BOOL LOC77; LOC77 = (NIM_BOOL)0; LOC77 = sametree_UXwZN9alTEPMzSE3TdR3S3g((*fact0).kindU.S6.sons->data[((NI) 1)], x0); if (!LOC77) goto LA78; { NIM_BOOL LOC82; LOC82 = (NIM_BOOL)0; LOC82 = isvalue_KmeY8mCvaqT9aBTREfeMUgg_2((*fact0).kindU.S6.sons->data[((NI) 2)]); if (!(LOC82)) goto LA83; LOC82 = isvalue_KmeY8mCvaqT9aBTREfeMUgg_2(c0); LA83: ; if (!LOC82) goto LA84; { NIM_BOOL LOC88; LOC88 = (NIM_BOOL)0; LOC88 = levalue_1Qdwg1ZguEjbL3mmgPJD3w_2((*fact0).kindU.S6.sons->data[((NI) 2)], c0); if (!LOC88) goto LA89; result0 = ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 1); } LA89: ; } LA84: ; } goto LA75; LA78: ; { NIM_BOOL LOC92; LOC92 = (NIM_BOOL)0; LOC92 = sametree_UXwZN9alTEPMzSE3TdR3S3g((*fact0).kindU.S6.sons->data[((NI) 2)], x0); if (!LOC92) goto LA93; { NIM_BOOL LOC97; LOC97 = (NIM_BOOL)0; LOC97 = isvalue_KmeY8mCvaqT9aBTREfeMUgg_2((*fact0).kindU.S6.sons->data[((NI) 1)]); if (!(LOC97)) goto LA98; LOC97 = isvalue_KmeY8mCvaqT9aBTREfeMUgg_2(c0); LA98: ; if (!LOC97) goto LA99; { NIM_BOOL LOC103; LOC103 = (NIM_BOOL)0; LOC103 = levalue_1Qdwg1ZguEjbL3mmgPJD3w_2(c0, (*fact0).kindU.S6.sons->data[((NI) 1)]); if (!LOC103) goto LA104; result0 = ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 2); } LA104: ; } LA99: ; } goto LA75; LA93: ; LA75: ; } break; case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 99): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 127): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 126): { internalerror_MXmtqrCmYwtOPkDCFgUWKQ((*x0).info, ((NimStringDesc*) &T_6PEpSVg5zYQiUPcMieikwQ_30)); } break; default: { } break; } return result0; } N_NIMCALL(Timplication_t4F29a8ejY1DFQTYTML9c9byA, impliesle_zW7m5VCjU13sae0oFr8Uww)(Tnode_bROa11lyF5vxEN9aYNbHmhw* fact0, Tnode_bROa11lyF5vxEN9aYNbHmhw* x0, Tnode_bROa11lyF5vxEN9aYNbHmhw* c0) { Timplication_t4F29a8ejY1DFQTYTML9c9byA result0; { result0 = (Timplication_t4F29a8ejY1DFQTYTML9c9byA)0; { NIM_BOOL LOC3; LOC3 = (NIM_BOOL)0; LOC3 = islocation_KmeY8mCvaqT9aBTREfeMUgg(x0); if (!!(LOC3)) goto LA4; result0 = impliesge_zW7m5VCjU13sae0oFr8Uww_2(fact0, c0, x0); goto BeforeRet; } LA4: ; switch ((*(*(*fact0).kindU.S6.sons->data[((NI) 0)]).kindU.S4.sym).magic) { case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 70): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 73): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 80): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 83): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 86): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 89): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 95): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 90): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 128): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 131): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 94): { { NIM_BOOL LOC9; LOC9 = (NIM_BOOL)0; LOC9 = sametree_UXwZN9alTEPMzSE3TdR3S3g((*fact0).kindU.S6.sons->data[((NI) 1)], x0); if (!LOC9) goto LA10; { NIM_BOOL LOC14; LOC14 = (NIM_BOOL)0; LOC14 = isvalue_KmeY8mCvaqT9aBTREfeMUgg_2((*fact0).kindU.S6.sons->data[((NI) 2)]); if (!(LOC14)) goto LA15; LOC14 = isvalue_KmeY8mCvaqT9aBTREfeMUgg_2(c0); LA15: ; if (!LOC14) goto LA16; { NIM_BOOL LOC20; LOC20 = (NIM_BOOL)0; LOC20 = levalue_1Qdwg1ZguEjbL3mmgPJD3w_2((*fact0).kindU.S6.sons->data[((NI) 2)], c0); if (!LOC20) goto LA21; result0 = ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 2); } goto LA18; LA21: ; { result0 = ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 1); } LA18: ; } LA16: ; } goto LA7; LA10: ; { NIM_BOOL LOC25; LOC25 = (NIM_BOOL)0; LOC25 = sametree_UXwZN9alTEPMzSE3TdR3S3g((*fact0).kindU.S6.sons->data[((NI) 2)], x0); if (!LOC25) goto LA26; { NIM_BOOL LOC30; LOC30 = (NIM_BOOL)0; LOC30 = isvalue_KmeY8mCvaqT9aBTREfeMUgg_2((*fact0).kindU.S6.sons->data[((NI) 1)]); if (!(LOC30)) goto LA31; LOC30 = isvalue_KmeY8mCvaqT9aBTREfeMUgg_2(c0); LA31: ; if (!LOC30) goto LA32; { NIM_BOOL LOC36; LOC36 = (NIM_BOOL)0; LOC36 = levalue_1Qdwg1ZguEjbL3mmgPJD3w_2((*fact0).kindU.S6.sons->data[((NI) 1)], c0); if (!LOC36) goto LA37; result0 = ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 2); } goto LA34; LA37: ; { result0 = ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 1); } LA34: ; } LA32: ; } goto LA7; LA26: ; LA7: ; } break; case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 72): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 75): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 77): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 79): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 82): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 85): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 88): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 92): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 130): { { NIM_BOOL LOC43; LOC43 = (NIM_BOOL)0; LOC43 = sametree_UXwZN9alTEPMzSE3TdR3S3g((*fact0).kindU.S6.sons->data[((NI) 1)], x0); if (!LOC43) goto LA44; { NIM_BOOL LOC48; LOC48 = (NIM_BOOL)0; LOC48 = isvalue_KmeY8mCvaqT9aBTREfeMUgg_2((*fact0).kindU.S6.sons->data[((NI) 2)]); if (!(LOC48)) goto LA49; LOC48 = isvalue_KmeY8mCvaqT9aBTREfeMUgg_2(c0); LA49: ; if (!LOC48) goto LA50; { Tnode_bROa11lyF5vxEN9aYNbHmhw* LOC54; NIM_BOOL LOC55; LOC54 = (Tnode_bROa11lyF5vxEN9aYNbHmhw*)0; LOC54 = pred_Pu6FTl2LNngoXwdApMMqKA(c0); LOC55 = (NIM_BOOL)0; LOC55 = levalue_1Qdwg1ZguEjbL3mmgPJD3w_2((*fact0).kindU.S6.sons->data[((NI) 2)], LOC54); if (!LOC55) goto LA56; result0 = ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 2); } LA56: ; } LA50: ; } goto LA41; LA44: ; { NIM_BOOL LOC59; LOC59 = (NIM_BOOL)0; LOC59 = sametree_UXwZN9alTEPMzSE3TdR3S3g((*fact0).kindU.S6.sons->data[((NI) 2)], x0); if (!LOC59) goto LA60; { NIM_BOOL LOC64; LOC64 = (NIM_BOOL)0; LOC64 = isvalue_KmeY8mCvaqT9aBTREfeMUgg_2((*fact0).kindU.S6.sons->data[((NI) 1)]); if (!(LOC64)) goto LA65; LOC64 = isvalue_KmeY8mCvaqT9aBTREfeMUgg_2(c0); LA65: ; if (!LOC64) goto LA66; { NIM_BOOL LOC70; LOC70 = (NIM_BOOL)0; LOC70 = levalue_1Qdwg1ZguEjbL3mmgPJD3w_2(c0, (*fact0).kindU.S6.sons->data[((NI) 1)]); if (!LOC70) goto LA71; result0 = ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 1); } LA71: ; } LA66: ; } goto LA41; LA60: ; LA41: ; } break; case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 71): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 74): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 76): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 78): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 81): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 84): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 87): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 91): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 129): { { NIM_BOOL LOC76; LOC76 = (NIM_BOOL)0; LOC76 = sametree_UXwZN9alTEPMzSE3TdR3S3g((*fact0).kindU.S6.sons->data[((NI) 1)], x0); if (!LOC76) goto LA77; { NIM_BOOL LOC81; LOC81 = (NIM_BOOL)0; LOC81 = isvalue_KmeY8mCvaqT9aBTREfeMUgg_2((*fact0).kindU.S6.sons->data[((NI) 2)]); if (!(LOC81)) goto LA82; LOC81 = isvalue_KmeY8mCvaqT9aBTREfeMUgg_2(c0); LA82: ; if (!LOC81) goto LA83; { NIM_BOOL LOC87; LOC87 = (NIM_BOOL)0; LOC87 = levalue_1Qdwg1ZguEjbL3mmgPJD3w_2((*fact0).kindU.S6.sons->data[((NI) 2)], c0); if (!LOC87) goto LA88; result0 = ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 2); } LA88: ; } LA83: ; } goto LA74; LA77: ; { NIM_BOOL LOC91; LOC91 = (NIM_BOOL)0; LOC91 = sametree_UXwZN9alTEPMzSE3TdR3S3g((*fact0).kindU.S6.sons->data[((NI) 2)], x0); if (!LOC91) goto LA92; { NIM_BOOL LOC96; LOC96 = (NIM_BOOL)0; LOC96 = isvalue_KmeY8mCvaqT9aBTREfeMUgg_2((*fact0).kindU.S6.sons->data[((NI) 1)]); if (!(LOC96)) goto LA97; LOC96 = isvalue_KmeY8mCvaqT9aBTREfeMUgg_2(c0); LA97: ; if (!LOC96) goto LA98; { Tnode_bROa11lyF5vxEN9aYNbHmhw* LOC102; NIM_BOOL LOC103; LOC102 = (Tnode_bROa11lyF5vxEN9aYNbHmhw*)0; LOC102 = pred_Pu6FTl2LNngoXwdApMMqKA((*fact0).kindU.S6.sons->data[((NI) 1)]); LOC103 = (NIM_BOOL)0; LOC103 = levalue_1Qdwg1ZguEjbL3mmgPJD3w_2(c0, LOC102); if (!LOC103) goto LA104; result0 = ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 1); } LA104: ; } LA98: ; } goto LA74; LA92: ; LA74: ; } break; case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 99): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 127): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 126): { internalerror_MXmtqrCmYwtOPkDCFgUWKQ((*x0).info, ((NimStringDesc*) &T_6PEpSVg5zYQiUPcMieikwQ_31)); } break; default: { } break; } }BeforeRet: ; return result0; } N_NIMCALL(Timplication_t4F29a8ejY1DFQTYTML9c9byA, implieslt_zW7m5VCjU13sae0oFr8Uww_3)(Tnode_bROa11lyF5vxEN9aYNbHmhw* fact0, Tnode_bROa11lyF5vxEN9aYNbHmhw* x0, Tnode_bROa11lyF5vxEN9aYNbHmhw* c0) { Timplication_t4F29a8ejY1DFQTYTML9c9byA result0; Tnode_bROa11lyF5vxEN9aYNbHmhw* p0; result0 = (Timplication_t4F29a8ejY1DFQTYTML9c9byA)0; p0 = pred_Pu6FTl2LNngoXwdApMMqKA(c0); { if (!!((p0 == c0))) goto LA3; result0 = impliesle_zW7m5VCjU13sae0oFr8Uww(fact0, x0, p0); } goto LA1; LA3: ; { Tnode_bROa11lyF5vxEN9aYNbHmhw* q0; q0 = pred_Pu6FTl2LNngoXwdApMMqKA(x0); { if (!!((q0 == x0))) goto LA8; result0 = impliesle_zW7m5VCjU13sae0oFr8Uww(fact0, q0, c0); } LA8: ; } LA1: ; return result0; } static N_INLINE(NI, len_CdME9baJhvveuPEDZE9bXoxAparser)(Tnode_bROa11lyF5vxEN9aYNbHmhw* n0) { NI result0; result0 = (NI)0; { if (!((*n0).kindU.S6.sons == 0)) goto LA3; result0 = ((NI) 0); } goto LA1; LA3: ; { result0 = ((*n0).kindU.S6.sons ? (*n0).kindU.S6.sons->Sup.len : 0); } LA1: ; return result0; } N_NIMCALL(Timplication_t4F29a8ejY1DFQTYTML9c9byA, comparesets_uX14XLtbeJxCxyMrK1w8tQ)(Tnode_bROa11lyF5vxEN9aYNbHmhw* a0, Tnode_bROa11lyF5vxEN9aYNbHmhw* b0) { Timplication_t4F29a8ejY1DFQTYTML9c9byA result0; result0 = (Timplication_t4F29a8ejY1DFQTYTML9c9byA)0; { NIM_BOOL LOC3; LOC3 = (NIM_BOOL)0; LOC3 = equalsets_tlIBRycg3YyKwtO2aPbGGg_2(a0, b0); if (!LOC3) goto LA4; result0 = ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 2); } goto LA1; LA4: ; { Tnode_bROa11lyF5vxEN9aYNbHmhw* LOC7; NI LOC8; LOC7 = (Tnode_bROa11lyF5vxEN9aYNbHmhw*)0; LOC7 = intersectsets_E71eQfYz9b4v2qiZfNF2cdw_2(a0, b0); LOC8 = (NI)0; LOC8 = len_CdME9baJhvveuPEDZE9bXoxAparser(LOC7); if (!(LOC8 == ((NI) 0))) goto LA9; result0 = ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 1); } goto LA1; LA9: ; LA1: ; return result0; } N_NIMCALL(Timplication_t4F29a8ejY1DFQTYTML9c9byA, leimpliesin_xO9bWO9cPcOzr2p3b8EOf5lA)(Tnode_bROa11lyF5vxEN9aYNbHmhw* x0, Tnode_bROa11lyF5vxEN9aYNbHmhw* c0, Tnode_bROa11lyF5vxEN9aYNbHmhw* aset0) { Timplication_t4F29a8ejY1DFQTYTML9c9byA result0; result0 = (Timplication_t4F29a8ejY1DFQTYTML9c9byA)0; { Tnode_bROa11lyF5vxEN9aYNbHmhw* value0; NI64 LOC5; if (!((*c0).kind >= ((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 5) && (*c0).kind <= ((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 15))) goto LA3; LOC5 = (NI64)0; LOC5 = firstord_HUiBYxvKiECXCv8BzQNheg((*x0).typ); value0 = newintnode_v2VGJAZNfKPVngZCqEXQtA((*c0).kind, LOC5); { NI i0; NI pos0; NI neg0; if (!((NI64)((*c0).kindU.S1.intval - (*value0).kindU.S1.intval) < IL64(1000))) goto LA8; i0 = (NI)0; pos0 = (NI)0; neg0 = (NI)0; { while (1) { if (!((*value0).kindU.S1.intval <= (*c0).kindU.S1.intval)) goto LA11; { NIM_BOOL LOC14; LOC14 = (NIM_BOOL)0; LOC14 = inset_b4nxsJCvqXRlyalSWskgNA(aset0, value0); if (!LOC14) goto LA15; pos0 += ((NI) 1); } goto LA12; LA15: ; { neg0 += ((NI) 1); } LA12: ; i0 += ((NI) 1); (*value0).kindU.S1.intval += ((NI) 1); } LA11: ; } { if (!(pos0 == i0)) goto LA20; result0 = ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 2); } goto LA18; LA20: ; { if (!(neg0 == i0)) goto LA23; result0 = ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 1); } goto LA18; LA23: ; LA18: ; } LA8: ; } LA3: ; return result0; } N_NIMCALL(Timplication_t4F29a8ejY1DFQTYTML9c9byA, geimpliesin_xO9bWO9cPcOzr2p3b8EOf5lA_2)(Tnode_bROa11lyF5vxEN9aYNbHmhw* x0, Tnode_bROa11lyF5vxEN9aYNbHmhw* c0, Tnode_bROa11lyF5vxEN9aYNbHmhw* aset0) { Timplication_t4F29a8ejY1DFQTYTML9c9byA result0; result0 = (Timplication_t4F29a8ejY1DFQTYTML9c9byA)0; { Tnode_bROa11lyF5vxEN9aYNbHmhw* value0; NI64 max0; if (!((*c0).kind >= ((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 5) && (*c0).kind <= ((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 15))) goto LA3; value0 = newintnode_v2VGJAZNfKPVngZCqEXQtA((*c0).kind, (*c0).kindU.S1.intval); max0 = lastord_HUiBYxvKiECXCv8BzQNheg_2((*x0).typ); { NI i0; NI pos0; NI neg0; if (!((NI64)(max0 - (*value0).kindU.S1.intval) < IL64(1000))) goto LA7; i0 = (NI)0; pos0 = (NI)0; neg0 = (NI)0; { while (1) { if (!((*value0).kindU.S1.intval <= max0)) goto LA10; { NIM_BOOL LOC13; LOC13 = (NIM_BOOL)0; LOC13 = inset_b4nxsJCvqXRlyalSWskgNA(aset0, value0); if (!LOC13) goto LA14; pos0 += ((NI) 1); } goto LA11; LA14: ; { neg0 += ((NI) 1); } LA11: ; i0 += ((NI) 1); (*value0).kindU.S1.intval += ((NI) 1); } LA10: ; } { if (!(pos0 == i0)) goto LA19; result0 = ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 2); } goto LA17; LA19: ; { if (!(neg0 == i0)) goto LA22; result0 = ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 1); } goto LA17; LA22: ; LA17: ; } LA7: ; } LA3: ; return result0; } N_NIMCALL(Timplication_t4F29a8ejY1DFQTYTML9c9byA, impliesin_HL9bcwSOMkA5y4aYejstDyA)(Tnode_bROa11lyF5vxEN9aYNbHmhw* fact0, Tnode_bROa11lyF5vxEN9aYNbHmhw* loc0, Tnode_bROa11lyF5vxEN9aYNbHmhw* aset0) { Timplication_t4F29a8ejY1DFQTYTML9c9byA result0; result0 = (Timplication_t4F29a8ejY1DFQTYTML9c9byA)0; switch ((*(*(*fact0).kindU.S6.sons->data[((NI) 0)]).kindU.S4.sym).magic) { case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 70): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 73): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 80): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 83): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 86): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 89): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 95): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 90): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 128): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 131): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 94): { { NIM_BOOL LOC4; LOC4 = (NIM_BOOL)0; LOC4 = sametree_UXwZN9alTEPMzSE3TdR3S3g((*fact0).kindU.S6.sons->data[((NI) 1)], loc0); if (!LOC4) goto LA5; { NIM_BOOL LOC9; LOC9 = (NIM_BOOL)0; LOC9 = inset_b4nxsJCvqXRlyalSWskgNA(aset0, (*fact0).kindU.S6.sons->data[((NI) 2)]); if (!LOC9) goto LA10; result0 = ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 2); } goto LA7; LA10: ; { result0 = ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 1); } LA7: ; } goto LA2; LA5: ; { NIM_BOOL LOC14; LOC14 = (NIM_BOOL)0; LOC14 = sametree_UXwZN9alTEPMzSE3TdR3S3g((*fact0).kindU.S6.sons->data[((NI) 2)], loc0); if (!LOC14) goto LA15; { NIM_BOOL LOC19; LOC19 = (NIM_BOOL)0; LOC19 = inset_b4nxsJCvqXRlyalSWskgNA(aset0, (*fact0).kindU.S6.sons->data[((NI) 1)]); if (!LOC19) goto LA20; result0 = ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 2); } goto LA17; LA20: ; { result0 = ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 1); } LA17: ; } goto LA2; LA15: ; LA2: ; } break; case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 148): { { NIM_BOOL LOC26; LOC26 = (NIM_BOOL)0; LOC26 = sametree_UXwZN9alTEPMzSE3TdR3S3g((*fact0).kindU.S6.sons->data[((NI) 2)], loc0); if (!LOC26) goto LA27; result0 = comparesets_uX14XLtbeJxCxyMrK1w8tQ((*fact0).kindU.S6.sons->data[((NI) 1)], aset0); } LA27: ; } break; case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 71): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 74): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 76): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 78): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 81): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 84): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 87): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 91): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 129): { { NIM_BOOL LOC32; LOC32 = (NIM_BOOL)0; LOC32 = sametree_UXwZN9alTEPMzSE3TdR3S3g((*fact0).kindU.S6.sons->data[((NI) 1)], loc0); if (!LOC32) goto LA33; result0 = leimpliesin_xO9bWO9cPcOzr2p3b8EOf5lA((*fact0).kindU.S6.sons->data[((NI) 1)], (*fact0).kindU.S6.sons->data[((NI) 2)], aset0); } goto LA30; LA33: ; { NIM_BOOL LOC36; LOC36 = (NIM_BOOL)0; LOC36 = sametree_UXwZN9alTEPMzSE3TdR3S3g((*fact0).kindU.S6.sons->data[((NI) 2)], loc0); if (!LOC36) goto LA37; result0 = geimpliesin_xO9bWO9cPcOzr2p3b8EOf5lA_2((*fact0).kindU.S6.sons->data[((NI) 2)], (*fact0).kindU.S6.sons->data[((NI) 1)], aset0); } goto LA30; LA37: ; LA30: ; } break; case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 72): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 75): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 77): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 79): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 82): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 85): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 88): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 92): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 130): { { NIM_BOOL LOC42; Tnode_bROa11lyF5vxEN9aYNbHmhw* LOC45; LOC42 = (NIM_BOOL)0; LOC42 = sametree_UXwZN9alTEPMzSE3TdR3S3g((*fact0).kindU.S6.sons->data[((NI) 1)], loc0); if (!LOC42) goto LA43; LOC45 = (Tnode_bROa11lyF5vxEN9aYNbHmhw*)0; LOC45 = pred_Pu6FTl2LNngoXwdApMMqKA((*fact0).kindU.S6.sons->data[((NI) 2)]); result0 = leimpliesin_xO9bWO9cPcOzr2p3b8EOf5lA((*fact0).kindU.S6.sons->data[((NI) 1)], LOC45, aset0); } goto LA40; LA43: ; { NIM_BOOL LOC47; Tnode_bROa11lyF5vxEN9aYNbHmhw* LOC50; LOC47 = (NIM_BOOL)0; LOC47 = sametree_UXwZN9alTEPMzSE3TdR3S3g((*fact0).kindU.S6.sons->data[((NI) 2)], loc0); if (!LOC47) goto LA48; LOC50 = (Tnode_bROa11lyF5vxEN9aYNbHmhw*)0; LOC50 = pred_Pu6FTl2LNngoXwdApMMqKA((*fact0).kindU.S6.sons->data[((NI) 1)]); result0 = geimpliesin_xO9bWO9cPcOzr2p3b8EOf5lA_2((*fact0).kindU.S6.sons->data[((NI) 2)], LOC50, aset0); } goto LA40; LA48: ; LA40: ; } break; case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 99): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 127): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 126): { internalerror_MXmtqrCmYwtOPkDCFgUWKQ((*loc0).info, ((NimStringDesc*) &T_6PEpSVg5zYQiUPcMieikwQ_32)); } break; default: { } break; } return result0; } N_NIMCALL(Timplication_t4F29a8ejY1DFQTYTML9c9byA, factimplies_ag9bsj603QsRYxrYUB8C9cMQ)(Tnode_bROa11lyF5vxEN9aYNbHmhw* fact0, Tnode_bROa11lyF5vxEN9aYNbHmhw* prop0) { Timplication_t4F29a8ejY1DFQTYTML9c9byA result0; Tmagic_shZhZOdbVC5nnFvcXQAImg LOC1; { result0 = (Timplication_t4F29a8ejY1DFQTYTML9c9byA)0; LOC1 = (Tmagic_shZhZOdbVC5nnFvcXQAImg)0; LOC1 = getmagic_gSv3iFkSzJc9bXZaNBHR9bQA(fact0); switch (LOC1) { case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 99): { Tnode_bROa11lyF5vxEN9aYNbHmhw* arg0; Tmagic_shZhZOdbVC5nnFvcXQAImg LOC3; arg0 = (*fact0).kindU.S6.sons->data[((NI) 1)]; LOC3 = (Tmagic_shZhZOdbVC5nnFvcXQAImg)0; LOC3 = getmagic_gSv3iFkSzJc9bXZaNBHR9bQA(arg0); switch (LOC3) { case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 157): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 89): { Timplication_t4F29a8ejY1DFQTYTML9c9byA LOC5; LOC5 = (Timplication_t4F29a8ejY1DFQTYTML9c9byA)0; LOC5 = factimplies_ag9bsj603QsRYxrYUB8C9cMQ(arg0, prop0); result0 = HEX7E_kB9clRfYeBUrz9cUVamrdB3w(LOC5); goto BeforeRet; } break; case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 126): { Timplication_t4F29a8ejY1DFQTYTML9c9byA a0; Timplication_t4F29a8ejY1DFQTYTML9c9byA b0; a0 = factimplies_ag9bsj603QsRYxrYUB8C9cMQ((*arg0).kindU.S6.sons->data[((NI) 1)], prop0); b0 = factimplies_ag9bsj603QsRYxrYUB8C9cMQ((*arg0).kindU.S6.sons->data[((NI) 2)], prop0); { if (!(a0 == b0)) goto LA9; result0 = HEX7E_kB9clRfYeBUrz9cUVamrdB3w(a0); goto BeforeRet; } LA9: ; result0 = ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 0); goto BeforeRet; } break; default: { result0 = ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 0); goto BeforeRet; } break; } } break; case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 126): { result0 = factimplies_ag9bsj603QsRYxrYUB8C9cMQ((*fact0).kindU.S6.sons->data[((NI) 1)], prop0); { if (!!((result0 == ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 0)))) goto LA15; goto BeforeRet; } LA15: ; result0 = factimplies_ag9bsj603QsRYxrYUB8C9cMQ((*fact0).kindU.S6.sons->data[((NI) 2)], prop0); goto BeforeRet; } break; default: { } break; } switch ((*(*(*prop0).kindU.S6.sons->data[((NI) 0)]).kindU.S4.sym).magic) { case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 99): { Timplication_t4F29a8ejY1DFQTYTML9c9byA LOC19; LOC19 = (Timplication_t4F29a8ejY1DFQTYTML9c9byA)0; LOC19 = factimplies_ag9bsj603QsRYxrYUB8C9cMQ(fact0, (*prop0).kindU.S6.sons->data[((NI) 1)]); result0 = HEX7E_kB9clRfYeBUrz9cUVamrdB3w(LOC19); } break; case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 157): { result0 = impliesisnil_t9c54XcpWxP4FFmaGo7UFXw(fact0, prop0); } break; case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 70): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 73): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 80): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 83): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 86): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 89): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 95): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 90): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 128): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 131): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 94): { result0 = implieseq_t9c54XcpWxP4FFmaGo7UFXw_2(fact0, prop0); } break; case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 71): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 74): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 76): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 78): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 81): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 84): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 87): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 91): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 129): { result0 = impliesle_zW7m5VCjU13sae0oFr8Uww(fact0, (*prop0).kindU.S6.sons->data[((NI) 1)], (*prop0).kindU.S6.sons->data[((NI) 2)]); } break; case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 72): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 75): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 77): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 79): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 82): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 85): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 88): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 92): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 130): { result0 = implieslt_zW7m5VCjU13sae0oFr8Uww_3(fact0, (*prop0).kindU.S6.sons->data[((NI) 1)], (*prop0).kindU.S6.sons->data[((NI) 2)]); } break; case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 148): { result0 = impliesin_HL9bcwSOMkA5y4aYejstDyA(fact0, (*prop0).kindU.S6.sons->data[((NI) 2)], (*prop0).kindU.S6.sons->data[((NI) 1)]); } break; default: { result0 = ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 0); } break; } }BeforeRet: ; return result0; } N_NIMCALL(Timplication_t4F29a8ejY1DFQTYTML9c9byA, doesimply_gEoEu2VkGisSqZh9aZEFYCA)(TY_ehmV9bTklH2Gt9cXHV9c0HLeQ* facts0, Tnode_bROa11lyF5vxEN9aYNbHmhw* prop0) { Timplication_t4F29a8ejY1DFQTYTML9c9byA result0; { result0 = (Timplication_t4F29a8ejY1DFQTYTML9c9byA)0; { Tnode_bROa11lyF5vxEN9aYNbHmhw* f_CRJ5Mkv4pvpzMecN9cAZbdw; NI i_evKWhbwWZ6A4Ghqb9cKVRgw; NI L_DSlsCb9a6e2OFV15Uiqa9bIA; f_CRJ5Mkv4pvpzMecN9cAZbdw = (Tnode_bROa11lyF5vxEN9aYNbHmhw*)0; i_evKWhbwWZ6A4Ghqb9cKVRgw = ((NI) 0); L_DSlsCb9a6e2OFV15Uiqa9bIA = (facts0 ? facts0->Sup.len : 0); { while (1) { if (!(i_evKWhbwWZ6A4Ghqb9cKVRgw < L_DSlsCb9a6e2OFV15Uiqa9bIA)) goto LA3; f_CRJ5Mkv4pvpzMecN9cAZbdw = facts0->data[i_evKWhbwWZ6A4Ghqb9cKVRgw]; { if (!!((f_CRJ5Mkv4pvpzMecN9cAZbdw == 0))) goto LA6; result0 = factimplies_ag9bsj603QsRYxrYUB8C9cMQ(f_CRJ5Mkv4pvpzMecN9cAZbdw, prop0); { if (!!((result0 == ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 0)))) goto LA10; goto BeforeRet; } LA10: ; } LA6: ; i_evKWhbwWZ6A4Ghqb9cKVRgw += ((NI) 1); } LA3: ; } } }BeforeRet: ; return result0; } N_NIMCALL(Tnode_bROa11lyF5vxEN9aYNbHmhw*, swapargs_RfZ5FkAa09b9alehGfM2PlEQ)(Tnode_bROa11lyF5vxEN9aYNbHmhw* fact0, Tsym_AXG7xcvKqaxY6koRX1xkCw* newop0) { Tnode_bROa11lyF5vxEN9aYNbHmhw* result0; result0 = (Tnode_bROa11lyF5vxEN9aYNbHmhw*)0; result0 = newnodei_jIQp9ciM8if1a6TX6toZelw(((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 27), (*fact0).info, ((NI) 3)); (*result0).kindU.S6.sons->data[((NI) 0)] = newsymnode_1ARBpggFQuvUDBVYjBelcw(newop0); (*result0).kindU.S6.sons->data[((NI) 1)] = (*fact0).kindU.S6.sons->data[((NI) 2)]; (*result0).kindU.S6.sons->data[((NI) 2)] = (*fact0).kindU.S6.sons->data[((NI) 1)]; return result0; } N_NIMCALL(Tnode_bROa11lyF5vxEN9aYNbHmhw*, neg_sCNrMHnQvxnk67uE0fPE6w)(Tnode_bROa11lyF5vxEN9aYNbHmhw* n0) { Tnode_bROa11lyF5vxEN9aYNbHmhw* result0; Tmagic_shZhZOdbVC5nnFvcXQAImg LOC5; { result0 = (Tnode_bROa11lyF5vxEN9aYNbHmhw*)0; { if (!(n0 == NIM_NIL)) goto LA3; result0 = NIM_NIL; goto BeforeRet; } LA3: ; LOC5 = (Tmagic_shZhZOdbVC5nnFvcXQAImg)0; LOC5 = getmagic_gSv3iFkSzJc9bXZaNBHR9bQA(n0); switch (LOC5) { case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 99): { result0 = (*n0).kindU.S6.sons->data[((NI) 1)]; } break; case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 72): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 75): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 77): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 79): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 82): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 85): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 88): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 92): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 130): { result0 = swapargs_RfZ5FkAa09b9alehGfM2PlEQ(n0, ople_Ay4JQP9avFnuzaYTqtLf5kA); } break; case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 71): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 74): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 76): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 78): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 81): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 84): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 87): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 91): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 129): { result0 = swapargs_RfZ5FkAa09b9alehGfM2PlEQ(n0, oplt_uXgLk9a8f2hJkmqT9bsAf9a5g); } break; case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 148): { Ttype_LTUWCZolpovw9cWE3JBWSUw* t0; { if (!!(((*(*n0).kindU.S6.sons->data[((NI) 1)]).kind == ((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 39)))) goto LA12; result0 = NIM_NIL; goto BeforeRet; } LA12: ; t0 = skiptypes_pLCdCGDuirMe9cspwviV9aVA((*(*n0).kindU.S6.sons->data[((NI) 2)]).typ, 43280); result0 = newnodei_jIQp9ciM8if1a6TX6toZelw(((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 27), (*n0).info, ((NI) 3)); (*result0).kindU.S6.sons->data[((NI) 0)] = (*n0).kindU.S6.sons->data[((NI) 0)]; (*result0).kindU.S6.sons->data[((NI) 2)] = (*n0).kindU.S6.sons->data[((NI) 2)]; { Tnode_bROa11lyF5vxEN9aYNbHmhw* s0; if (!((*t0).kind == ((Ttypekind_9a3YiReNVD0IJHWFKgXRe9ag) 14))) goto LA16; s0 = newnodeit_lbGnVdZM6n2HPza7jVIlww(((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 39), (*n0).info, (*(*n0).kindU.S6.sons->data[((NI) 1)]).typ); { Tnode_bROa11lyF5vxEN9aYNbHmhw* e_EGY7mbJRJJJmpgVyN4VZlw; Tnode_bROa11lyF5vxEN9aYNbHmhw* HEX3Atmp_rIkejRniVJ22C9abyxEDT0w; e_EGY7mbJRJJJmpgVyN4VZlw = (Tnode_bROa11lyF5vxEN9aYNbHmhw*)0; HEX3Atmp_rIkejRniVJ22C9abyxEDT0w = (Tnode_bROa11lyF5vxEN9aYNbHmhw*)0; HEX3Atmp_rIkejRniVJ22C9abyxEDT0w = (*t0).n; { NI i_z3pg1bh0yY8PF4DFv1j6Kw; NI HEX3Atmp_rIkejRniVJ22C9abyxEDT0w_2; NI LOC20; NI res_uOEfvgRHiWmTo9a9bNjBkWxg; i_z3pg1bh0yY8PF4DFv1j6Kw = (NI)0; HEX3Atmp_rIkejRniVJ22C9abyxEDT0w_2 = (NI)0; LOC20 = (NI)0; LOC20 = len_CdME9baJhvveuPEDZE9bXoxAparser(HEX3Atmp_rIkejRniVJ22C9abyxEDT0w); HEX3Atmp_rIkejRniVJ22C9abyxEDT0w_2 = (LOC20 - 1); res_uOEfvgRHiWmTo9a9bNjBkWxg = ((NI) 0); { while (1) { Tnode_bROa11lyF5vxEN9aYNbHmhw* easnode0; if (!(res_uOEfvgRHiWmTo9a9bNjBkWxg <= HEX3Atmp_rIkejRniVJ22C9abyxEDT0w_2)) goto LA22; i_z3pg1bh0yY8PF4DFv1j6Kw = res_uOEfvgRHiWmTo9a9bNjBkWxg; e_EGY7mbJRJJJmpgVyN4VZlw = (*HEX3Atmp_rIkejRniVJ22C9abyxEDT0w).kindU.S6.sons->data[i_z3pg1bh0yY8PF4DFv1j6Kw]; easnode0 = newintnode_v2VGJAZNfKPVngZCqEXQtA(((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 6), ((NI64) ((*(*e_EGY7mbJRJJJmpgVyN4VZlw).kindU.S4.sym).position))); { NIM_BOOL LOC25; LOC25 = (NIM_BOOL)0; LOC25 = inset_b4nxsJCvqXRlyalSWskgNA((*n0).kindU.S6.sons->data[((NI) 1)], easnode0); if (!!(LOC25)) goto LA26; add_gCCf68XrWL79bKes6htzFjQ_2(s0, easnode0); } LA26: ; res_uOEfvgRHiWmTo9a9bNjBkWxg += ((NI) 1); } LA22: ; } } } (*result0).kindU.S6.sons->data[((NI) 1)] = s0; } goto LA14; LA16: ; { NIM_BOOL LOC29; NI64 LOC31; LOC29 = (NIM_BOOL)0; LOC29 = !(((285212672 &((NU64)1<<((NU)((*t0).kind)&63U)))!=0)); if (!(LOC29)) goto LA30; LOC31 = (NI64)0; LOC31 = lengthord_HUiBYxvKiECXCv8BzQNheg_3(t0); LOC29 = (LOC31 < IL64(1000)); LA30: ; if (!LOC29) goto LA32; (*result0).kindU.S6.sons->data[((NI) 1)] = complement_Yi8Z7ip2BRBum7p5Po1zUQ((*n0).kindU.S6.sons->data[((NI) 1)]); } goto LA14; LA32: ; { result0 = NIM_NIL; } LA14: ; } break; case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 127): { Tnode_bROa11lyF5vxEN9aYNbHmhw* a0; Tnode_bROa11lyF5vxEN9aYNbHmhw* b0; a0 = neg_sCNrMHnQvxnk67uE0fPE6w((*n0).kindU.S6.sons->data[((NI) 1)]); b0 = neg_sCNrMHnQvxnk67uE0fPE6w((*n0).kindU.S6.sons->data[((NI) 2)]); { NIM_BOOL LOC38; LOC38 = (NIM_BOOL)0; LOC38 = !((a0 == NIM_NIL)); if (!(LOC38)) goto LA39; LOC38 = !((b0 == NIM_NIL)); LA39: ; if (!LOC38) goto LA40; result0 = newnodei_jIQp9ciM8if1a6TX6toZelw(((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 27), (*n0).info, ((NI) 3)); (*result0).kindU.S6.sons->data[((NI) 0)] = newsymnode_1ARBpggFQuvUDBVYjBelcw(opand_EEp3lD9cJvoBFv6lre6UN9bQ); (*result0).kindU.S6.sons->data[((NI) 1)] = a0; (*result0).kindU.S6.sons->data[((NI) 2)] = b0; } goto LA36; LA40: ; { if (!!((a0 == NIM_NIL))) goto LA43; result0 = a0; } goto LA36; LA43: ; { if (!!((b0 == NIM_NIL))) goto LA46; result0 = b0; } goto LA36; LA46: ; LA36: ; } break; default: { result0 = newnodei_jIQp9ciM8if1a6TX6toZelw(((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 27), (*n0).info, ((NI) 2)); (*result0).kindU.S6.sons->data[((NI) 0)] = newsymnode_1ARBpggFQuvUDBVYjBelcw(opnot_2zvmXY9boCxoQRE3yP6cC2g); (*result0).kindU.S6.sons->data[((NI) 1)] = n0; } break; } }BeforeRet: ; return result0; } N_NIMCALL(Tnode_bROa11lyF5vxEN9aYNbHmhw*, buildcall_tPaBmwSthpx0WsKCReKucA)(Tsym_AXG7xcvKqaxY6koRX1xkCw* op0, Tnode_bROa11lyF5vxEN9aYNbHmhw* a0) { Tnode_bROa11lyF5vxEN9aYNbHmhw* result0; result0 = (Tnode_bROa11lyF5vxEN9aYNbHmhw*)0; result0 = newnodei_jIQp9ciM8if1a6TX6toZelw(((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 27), (*a0).info, ((NI) 2)); (*result0).kindU.S6.sons->data[((NI) 0)] = newsymnode_1ARBpggFQuvUDBVYjBelcw(op0); (*result0).kindU.S6.sons->data[((NI) 1)] = a0; return result0; } N_NIMCALL(Timplication_t4F29a8ejY1DFQTYTML9c9byA, impliesnotnil_D4M9bwHtiPRz9aILf3OZIjoQ)(TY_ehmV9bTklH2Gt9cXHV9c0HLeQ* facts0, Tnode_bROa11lyF5vxEN9aYNbHmhw* arg0) { Timplication_t4F29a8ejY1DFQTYTML9c9byA result0; Tnode_bROa11lyF5vxEN9aYNbHmhw* LOC1; Tnode_bROa11lyF5vxEN9aYNbHmhw* LOC2; result0 = (Timplication_t4F29a8ejY1DFQTYTML9c9byA)0; LOC1 = (Tnode_bROa11lyF5vxEN9aYNbHmhw*)0; LOC1 = buildcall_tPaBmwSthpx0WsKCReKucA(opisnil_kLGVMG4g3jeU2qICjFTf9ag, arg0); LOC2 = (Tnode_bROa11lyF5vxEN9aYNbHmhw*)0; LOC2 = neg_sCNrMHnQvxnk67uE0fPE6w(LOC1); result0 = doesimply_gEoEu2VkGisSqZh9aZEFYCA(facts0, LOC2); return result0; } N_NIMCALL(Tnode_bROa11lyF5vxEN9aYNbHmhw*, buildproperfieldcheck_vRuDj77pxqAXKkvGfXDgiw)(Tnode_bROa11lyF5vxEN9aYNbHmhw* access0, Tnode_bROa11lyF5vxEN9aYNbHmhw* check0) { Tnode_bROa11lyF5vxEN9aYNbHmhw* result0; result0 = (Tnode_bROa11lyF5vxEN9aYNbHmhw*)0; { if (!((*(*check0).kindU.S6.sons->data[((NI) 1)]).kind == ((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 39))) goto LA3; result0 = copytree_lz8T1F9c0YwEOpUnrAUYgjg_2(check0); { Tnode_bROa11lyF5vxEN9aYNbHmhw* a0; if (!((*access0).kind == ((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 45))) goto LA7; a0 = copytree_lz8T1F9c0YwEOpUnrAUYgjg_2(access0); (*a0).kindU.S6.sons->data[((NI) 1)] = (*check0).kindU.S6.sons->data[((NI) 2)]; (*result0).kindU.S6.sons->data[((NI) 2)] = a0; } LA7: ; } goto LA1; LA3: ; { Tnode_bROa11lyF5vxEN9aYNbHmhw* LOC10; LOC10 = (Tnode_bROa11lyF5vxEN9aYNbHmhw*)0; LOC10 = buildproperfieldcheck_vRuDj77pxqAXKkvGfXDgiw(access0, (*check0).kindU.S6.sons->data[((NI) 1)]); result0 = neg_sCNrMHnQvxnk67uE0fPE6w(LOC10); } LA1: ; return result0; } N_NIMCALL(void, checkfieldaccess_s2xvRrhcmIZPVuKsaSJ7ow)(TY_ehmV9bTklH2Gt9cXHV9c0HLeQ* m0, Tnode_bROa11lyF5vxEN9aYNbHmhw* n0) { { NI i_19bLp7kgQ9cm8Zuw0ZedDElA; NI HEX3Atmp_c9b6LFqv1TCq1wQGRg6zpSg; NI LOC2; NI res_3ESV4INHZZ9cND565h9c69a9cw; i_19bLp7kgQ9cm8Zuw0ZedDElA = (NI)0; HEX3Atmp_c9b6LFqv1TCq1wQGRg6zpSg = (NI)0; LOC2 = (NI)0; LOC2 = len_CdME9baJhvveuPEDZE9bXoxAparser(n0); HEX3Atmp_c9b6LFqv1TCq1wQGRg6zpSg = (NI)(LOC2 - ((NI) 1)); res_3ESV4INHZZ9cND565h9c69a9cw = ((NI) 1); { while (1) { Tnode_bROa11lyF5vxEN9aYNbHmhw* check0; if (!(res_3ESV4INHZZ9cND565h9c69a9cw <= HEX3Atmp_c9b6LFqv1TCq1wQGRg6zpSg)) goto LA4; i_19bLp7kgQ9cm8Zuw0ZedDElA = res_3ESV4INHZZ9cND565h9c69a9cw; check0 = buildproperfieldcheck_vRuDj77pxqAXKkvGfXDgiw((*n0).kindU.S6.sons->data[((NI) 0)], (*n0).kindU.S6.sons->data[i_19bLp7kgQ9cm8Zuw0ZedDElA]); { NIM_BOOL LOC7; Timplication_t4F29a8ejY1DFQTYTML9c9byA LOC9; NimStringDesc* LOC12; LOC7 = (NIM_BOOL)0; LOC7 = !((check0 == NIM_NIL)); if (!(LOC7)) goto LA8; LOC9 = (Timplication_t4F29a8ejY1DFQTYTML9c9byA)0; LOC9 = doesimply_gEoEu2VkGisSqZh9aZEFYCA(m0, check0); LOC7 = !((LOC9 == ((Timplication_t4F29a8ejY1DFQTYTML9c9byA) 2))); LA8: ; if (!LOC7) goto LA10; LOC12 = (NimStringDesc*)0; LOC12 = rendertree_ppjdh9aQ5L0SGPF8yz1gZ9cA((*n0).kindU.S6.sons->data[((NI) 0)], 0); message_VpilfPWbplGz6ny7O9cfr2g((*n0).info, ((Tmsgkind_IGAWgv9aR2KqPKJfPZPEWaw) 257), LOC12); goto LA1; } LA10: ; res_3ESV4INHZZ9cND565h9c69a9cw += ((NI) 1); } LA4: ; } } LA1: ; } static N_INLINE(NI, safelen_CdME9baJhvveuPEDZE9bXoxAsigmatch)(Tnode_bROa11lyF5vxEN9aYNbHmhw* n0) { NI result0; result0 = (NI)0; { NIM_BOOL LOC3; LOC3 = (NIM_BOOL)0; LOC3 = ((*n0).kind >= ((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 0) && (*n0).kind <= ((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 23)); if (LOC3) goto LA4; LOC3 = ((*n0).kindU.S6.sons == 0); LA4: ; if (!LOC3) goto LA5; result0 = ((NI) 0); } goto LA1; LA5: ; { result0 = ((*n0).kindU.S6.sons ? (*n0).kindU.S6.sons->Sup.len : 0); } LA1: ; return result0; } N_NIMCALL(NIM_BOOL, hassubtree_cBZOucNLGW1FSTUBSuSXvA)(Tnode_bROa11lyF5vxEN9aYNbHmhw* n0, Tnode_bROa11lyF5vxEN9aYNbHmhw* x0) { NIM_BOOL result0; { result0 = (NIM_BOOL)0; { NIM_BOOL LOC3; LOC3 = (NIM_BOOL)0; LOC3 = sametree_UXwZN9alTEPMzSE3TdR3S3g(n0, x0); if (!LOC3) goto LA4; result0 = NIM_TRUE; } goto LA1; LA4: ; { { NI i_nioWYzXx8Ano9bw2rFvm6ng; NI HEX3Atmp_jz9cyML3rEyY9bITTTJ7zXEA; NI LOC8; NI res_yIc3TVCiQwBu2zys9b4a4ww; i_nioWYzXx8Ano9bw2rFvm6ng = (NI)0; HEX3Atmp_jz9cyML3rEyY9bITTTJ7zXEA = (NI)0; LOC8 = (NI)0; LOC8 = safelen_CdME9baJhvveuPEDZE9bXoxAsigmatch(n0); HEX3Atmp_jz9cyML3rEyY9bITTTJ7zXEA = (NI)(LOC8 - ((NI) 1)); res_yIc3TVCiQwBu2zys9b4a4ww = ((NI) 0); { while (1) { if (!(res_yIc3TVCiQwBu2zys9b4a4ww <= HEX3Atmp_jz9cyML3rEyY9bITTTJ7zXEA)) goto LA10; i_nioWYzXx8Ano9bw2rFvm6ng = res_yIc3TVCiQwBu2zys9b4a4ww; { NIM_BOOL LOC13; LOC13 = (NIM_BOOL)0; LOC13 = hassubtree_cBZOucNLGW1FSTUBSuSXvA((*n0).kindU.S6.sons->data[i_nioWYzXx8Ano9bw2rFvm6ng], x0); if (!LOC13) goto LA14; result0 = NIM_TRUE; goto BeforeRet; } LA14: ; res_yIc3TVCiQwBu2zys9b4a4ww += ((NI) 1); } LA10: ; } } } LA1: ; }BeforeRet: ; return result0; } N_NIMCALL(void, invalidatefacts_2fXEB59aU5I0E4FRGsGvo1g)(TY_ehmV9bTklH2Gt9cXHV9c0HLeQ** m0, Tnode_bROa11lyF5vxEN9aYNbHmhw* n0) { { NI i_FivMrIviDraIhyD7QUpqCw; NI HEX3Atmp_nV9bDow6ov6tIeydVxenOCA; NI res_xs65thTA9bShx2svdoVPx9bA; i_FivMrIviDraIhyD7QUpqCw = (NI)0; HEX3Atmp_nV9bDow6ov6tIeydVxenOCA = (NI)0; HEX3Atmp_nV9bDow6ov6tIeydVxenOCA = ((*m0) ? ((*m0)->Sup.len-1) : -1); res_xs65thTA9bShx2svdoVPx9bA = ((NI) 0); { while (1) { if (!(res_xs65thTA9bShx2svdoVPx9bA <= HEX3Atmp_nV9bDow6ov6tIeydVxenOCA)) goto LA3; i_FivMrIviDraIhyD7QUpqCw = res_xs65thTA9bShx2svdoVPx9bA; { NIM_BOOL LOC6; LOC6 = (NIM_BOOL)0; LOC6 = !(((*m0)->data[i_FivMrIviDraIhyD7QUpqCw] == NIM_NIL)); if (!(LOC6)) goto LA7; LOC6 = hassubtree_cBZOucNLGW1FSTUBSuSXvA((*m0)->data[i_FivMrIviDraIhyD7QUpqCw], n0); LA7: ; if (!LOC6) goto LA8; (*m0)->data[i_FivMrIviDraIhyD7QUpqCw] = NIM_NIL; } LA8: ; res_xs65thTA9bShx2svdoVPx9bA += ((NI) 1); } LA3: ; } } } N_NIMCALL(void, addasgnfact_7r5ckpggojVUN9b8WgQQTHw)(TY_ehmV9bTklH2Gt9cXHV9c0HLeQ** m0, Tnode_bROa11lyF5vxEN9aYNbHmhw* key0, Tnode_bROa11lyF5vxEN9aYNbHmhw* value0) { Tnode_bROa11lyF5vxEN9aYNbHmhw* fact0; fact0 = newnodei_jIQp9ciM8if1a6TX6toZelw(((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 27), (*key0).info, ((NI) 3)); (*fact0).kindU.S6.sons->data[((NI) 0)] = newsymnode_1ARBpggFQuvUDBVYjBelcw(opeq_D0Nlpf9cFCp7tN1CjSXlPXQ); (*fact0).kindU.S6.sons->data[((NI) 1)] = key0; (*fact0).kindU.S6.sons->data[((NI) 2)] = value0; (*m0) = (TY_ehmV9bTklH2Gt9cXHV9c0HLeQ*) incrSeqV2(&((*m0))->Sup, sizeof(Tnode_bROa11lyF5vxEN9aYNbHmhw*)); (*m0)->data[(*m0)->Sup.len] = fact0; ++(*m0)->Sup.len; } N_NIMCALL(NIM_BOOL, islet_KmeY8mCvaqT9aBTREfeMUgg_3)(Tnode_bROa11lyF5vxEN9aYNbHmhw* n0) { NIM_BOOL result0; result0 = (NIM_BOOL)0; { if (!((*n0).kind == ((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 3))) goto LA3; { if (!((1049120 &(1U<<((NU)((*(*n0).kindU.S4.sym).kind)&31U)))!=0)) goto LA7; result0 = NIM_TRUE; } goto LA5; LA7: ; { NIM_BOOL LOC10; Ttype_LTUWCZolpovw9cWE3JBWSUw* LOC12; LOC10 = (NIM_BOOL)0; LOC10 = ((*(*n0).kindU.S4.sym).kind == ((Tsymkind_cNCW9acsSznmEccl1fgQwkw) 3)); if (!(LOC10)) goto LA11; LOC12 = (Ttype_LTUWCZolpovw9cWE3JBWSUw*)0; LOC12 = skiptypes_pLCdCGDuirMe9cspwviV9aVA((*(*n0).kindU.S4.sym).typ, 43280); LOC10 = !(((*LOC12).kind == ((Ttypekind_9a3YiReNVD0IJHWFKgXRe9ag) 23))); LA11: ; if (!LOC10) goto LA13; result0 = NIM_TRUE; } goto LA5; LA13: ; LA5: ; } LA3: ; return result0; } N_NIMCALL(NIM_BOOL, isvar_KmeY8mCvaqT9aBTREfeMUgg_4)(Tnode_bROa11lyF5vxEN9aYNbHmhw* n0) { NIM_BOOL result0; NIM_BOOL LOC1; NIM_BOOL LOC2; result0 = (NIM_BOOL)0; LOC1 = (NIM_BOOL)0; LOC2 = (NIM_BOOL)0; LOC2 = ((*n0).kind == ((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 3)); if (!(LOC2)) goto LA3; LOC2 = ((2304 &(1U<<((NU)((*(*n0).kindU.S4.sym).kind)&31U)))!=0); LA3: ; LOC1 = LOC2; if (!(LOC1)) goto LA4; LOC1 = ((32776 & (*(*n0).kindU.S4.sym).flags) == 0); LA4: ; result0 = LOC1; return result0; } N_NIMCALL(NIM_BOOL, isletlocation_hUtXOV1wmdV9bRxZi9bWn27w)(Tnode_bROa11lyF5vxEN9aYNbHmhw* m0, NIM_BOOL isapprox0) { NIM_BOOL result0; Tnode_bROa11lyF5vxEN9aYNbHmhw* n0; NI derefs0; NIM_BOOL LOC15; { result0 = (NIM_BOOL)0; n0 = m0; derefs0 = ((NI) 0); { while (1) { switch ((*n0).kind) { case ((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 45): case ((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 46): case ((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 67): case ((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 66): { n0 = (*n0).kindU.S6.sons->data[((NI) 0)]; } break; case ((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 47): case ((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 65): { n0 = (*n0).kindU.S6.sons->data[((NI) 0)]; derefs0 += ((NI) 1); } break; case ((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 42): { { NIM_BOOL LOC8; LOC8 = (NIM_BOOL)0; LOC8 = isconstexpr_FTbvAnf1y9b9c3Krp9bsHDTiw_4((*n0).kindU.S6.sons->data[((NI) 1)]); if (LOC8) goto LA9; LOC8 = islet_KmeY8mCvaqT9aBTREfeMUgg_3((*n0).kindU.S6.sons->data[((NI) 1)]); LA9: ; if (!LOC8) goto LA10; n0 = (*n0).kindU.S6.sons->data[((NI) 0)]; } goto LA6; LA10: ; { goto BeforeRet; } LA6: ; } break; case ((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 58): case ((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 59): case ((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 60): { n0 = (*n0).kindU.S6.sons->data[((NI) 1)]; } break; default: { goto LA1; } break; } } } LA1: ; LOC15 = (NIM_BOOL)0; LOC15 = islet_KmeY8mCvaqT9aBTREfeMUgg_3(n0); if (!(LOC15)) goto LA16; LOC15 = (derefs0 <= ((NI) (isapprox0))); LA16: ; result0 = LOC15; { NIM_BOOL LOC19; LOC19 = (NIM_BOOL)0; LOC19 = !(result0); if (!(LOC19)) goto LA20; LOC19 = isapprox0; LA20: ; if (!LOC19) goto LA21; result0 = isvar_KmeY8mCvaqT9aBTREfeMUgg_4(n0); } LA21: ; }BeforeRet: ; return result0; } N_NIMCALL(NIM_BOOL, interestingcaseexpr_SZ9c1ZlAi6ZuGW55LEObgVA)(Tnode_bROa11lyF5vxEN9aYNbHmhw* m0) { NIM_BOOL result0; result0 = (NIM_BOOL)0; result0 = isletlocation_hUtXOV1wmdV9bRxZi9bWn27w(m0, NIM_TRUE); return result0; } N_NIMCALL(Ttype_LTUWCZolpovw9cWE3JBWSUw*, settype_1u1vvPdCOTg50TbEWlYFgg)(Tnode_bROa11lyF5vxEN9aYNbHmhw* n0) { Ttype_LTUWCZolpovw9cWE3JBWSUw* result0; result0 = (Ttype_LTUWCZolpovw9cWE3JBWSUw*)0; result0 = newtype_FL9cZh2bRuJE31MWfcWQ4Yg(((Ttypekind_9a3YiReNVD0IJHWFKgXRe9ag) 19), (*(*n0).typ).owner); addsonskipintlit_d0ho9bIGF3YeWTv0iA2z9awA(result0, (*n0).typ); return result0; } N_NIMCALL(Tnode_bROa11lyF5vxEN9aYNbHmhw*, buildof_NVshml6ZJOBP9cdUqcpQ9aSg)(Tnode_bROa11lyF5vxEN9aYNbHmhw* it0, Tnode_bROa11lyF5vxEN9aYNbHmhw* loc0) { Tnode_bROa11lyF5vxEN9aYNbHmhw* result0; Tnode_bROa11lyF5vxEN9aYNbHmhw* s0; NI LOC1; result0 = (Tnode_bROa11lyF5vxEN9aYNbHmhw*)0; LOC1 = (NI)0; LOC1 = len_CdME9baJhvveuPEDZE9bXoxAparser(it0); s0 = newnodei_jIQp9ciM8if1a6TX6toZelw(((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 39), (*it0).info, (NI)(LOC1 - ((NI) 1))); (*s0).typ = settype_1u1vvPdCOTg50TbEWlYFgg(loc0); { NI i_UPTt29aRoDUNTM8L4yk0aWg; NI HEX3Atmp_p29akOHymWrJHHaKl82iJeQ; NI LOC3; NI res_QXXZzbdAdVOyrV2Qcwlq5w; i_UPTt29aRoDUNTM8L4yk0aWg = (NI)0; HEX3Atmp_p29akOHymWrJHHaKl82iJeQ = (NI)0; LOC3 = (NI)0; LOC3 = len_CdME9baJhvveuPEDZE9bXoxAparser(it0); HEX3Atmp_p29akOHymWrJHHaKl82iJeQ = (NI)(LOC3 - ((NI) 2)); res_QXXZzbdAdVOyrV2Qcwlq5w = ((NI) 0); { while (1) { if (!(res_QXXZzbdAdVOyrV2Qcwlq5w <= HEX3Atmp_p29akOHymWrJHHaKl82iJeQ)) goto LA5; i_UPTt29aRoDUNTM8L4yk0aWg = res_QXXZzbdAdVOyrV2Qcwlq5w; (*s0).kindU.S6.sons->data[i_UPTt29aRoDUNTM8L4yk0aWg] = (*it0).kindU.S6.sons->data[i_UPTt29aRoDUNTM8L4yk0aWg]; res_QXXZzbdAdVOyrV2Qcwlq5w += ((NI) 1); } LA5: ; } } result0 = newnodei_jIQp9ciM8if1a6TX6toZelw(((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 27), (*it0).info, ((NI) 3)); (*result0).kindU.S6.sons->data[((NI) 0)] = newsymnode_1ARBpggFQuvUDBVYjBelcw(opcontains_fo9avnO4EeI9a0JW1JwmdMJA); (*result0).kindU.S6.sons->data[((NI) 1)] = s0; (*result0).kindU.S6.sons->data[((NI) 2)] = loc0; return result0; } N_NIMCALL(Tnode_bROa11lyF5vxEN9aYNbHmhw*, buildelse_sCNrMHnQvxnk67uE0fPE6w_2)(Tnode_bROa11lyF5vxEN9aYNbHmhw* n0) { Tnode_bROa11lyF5vxEN9aYNbHmhw* result0; Tnode_bROa11lyF5vxEN9aYNbHmhw* s0; Ttype_LTUWCZolpovw9cWE3JBWSUw* LOC1; result0 = (Tnode_bROa11lyF5vxEN9aYNbHmhw*)0; LOC1 = (Ttype_LTUWCZolpovw9cWE3JBWSUw*)0; LOC1 = settype_1u1vvPdCOTg50TbEWlYFgg((*n0).kindU.S6.sons->data[((NI) 0)]); s0 = newnodeit_lbGnVdZM6n2HPza7jVIlww(((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 39), (*n0).info, LOC1); { NI i_9cYci1tj0mrdIERtxcscOBQ; NI HEX3Atmp_vgl3i0fqbKviDIWUYqARJg; NI LOC3; NI res_KfetjnH7mq0LTB2Zml1k0Q; i_9cYci1tj0mrdIERtxcscOBQ = (NI)0; HEX3Atmp_vgl3i0fqbKviDIWUYqARJg = (NI)0; LOC3 = (NI)0; LOC3 = len_CdME9baJhvveuPEDZE9bXoxAparser(n0); HEX3Atmp_vgl3i0fqbKviDIWUYqARJg = (NI)(LOC3 - ((NI) 2)); res_KfetjnH7mq0LTB2Zml1k0Q = ((NI) 1); { while (1) { Tnode_bROa11lyF5vxEN9aYNbHmhw* branch0; if (!(res_KfetjnH7mq0LTB2Zml1k0Q <= HEX3Atmp_vgl3i0fqbKviDIWUYqARJg)) goto LA5; i_9cYci1tj0mrdIERtxcscOBQ = res_KfetjnH7mq0LTB2Zml1k0Q; branch0 = (*n0).kindU.S6.sons->data[i_9cYci1tj0mrdIERtxcscOBQ]; { NI j_dk46Xfc2NjtdyCqxYYvC8Q; NI HEX3Atmp_vgl3i0fqbKviDIWUYqARJg_2; NI LOC7; NI res_KfetjnH7mq0LTB2Zml1k0Q_2; j_dk46Xfc2NjtdyCqxYYvC8Q = (NI)0; HEX3Atmp_vgl3i0fqbKviDIWUYqARJg_2 = (NI)0; LOC7 = (NI)0; LOC7 = len_CdME9baJhvveuPEDZE9bXoxAparser(branch0); HEX3Atmp_vgl3i0fqbKviDIWUYqARJg_2 = (NI)(LOC7 - ((NI) 2)); res_KfetjnH7mq0LTB2Zml1k0Q_2 = ((NI) 0); { while (1) { if (!(res_KfetjnH7mq0LTB2Zml1k0Q_2 <= HEX3Atmp_vgl3i0fqbKviDIWUYqARJg_2)) goto LA9; j_dk46Xfc2NjtdyCqxYYvC8Q = res_KfetjnH7mq0LTB2Zml1k0Q_2; add_gCCf68XrWL79bKes6htzFjQ_2(s0, (*branch0).kindU.S6.sons->data[j_dk46Xfc2NjtdyCqxYYvC8Q]); res_KfetjnH7mq0LTB2Zml1k0Q_2 += ((NI) 1); } LA9: ; } } res_KfetjnH7mq0LTB2Zml1k0Q += ((NI) 1); } LA5: ; } } result0 = newnodei_jIQp9ciM8if1a6TX6toZelw(((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 27), (*n0).info, ((NI) 3)); (*result0).kindU.S6.sons->data[((NI) 0)] = newsymnode_1ARBpggFQuvUDBVYjBelcw(opcontains_fo9avnO4EeI9a0JW1JwmdMJA); (*result0).kindU.S6.sons->data[((NI) 1)] = s0; (*result0).kindU.S6.sons->data[((NI) 2)] = (*n0).kindU.S6.sons->data[((NI) 0)]; return result0; } N_NIMCALL(void, addcasebranchfacts_gZtGxxJKZnN0rgrwfXEsHg)(TY_ehmV9bTklH2Gt9cXHV9c0HLeQ** m0, Tnode_bROa11lyF5vxEN9aYNbHmhw* n0, NI i0) { Tnode_bROa11lyF5vxEN9aYNbHmhw* branch0; branch0 = (*n0).kindU.S6.sons->data[i0]; { Tnode_bROa11lyF5vxEN9aYNbHmhw* LOC5; if (!((*branch0).kind == ((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 85))) goto LA3; LOC5 = (Tnode_bROa11lyF5vxEN9aYNbHmhw*)0; LOC5 = buildof_NVshml6ZJOBP9cdUqcpQ9aSg(branch0, (*n0).kindU.S6.sons->data[((NI) 0)]); (*m0) = (TY_ehmV9bTklH2Gt9cXHV9c0HLeQ*) incrSeqV2(&((*m0))->Sup, sizeof(Tnode_bROa11lyF5vxEN9aYNbHmhw*)); (*m0)->data[(*m0)->Sup.len] = LOC5; ++(*m0)->Sup.len; } goto LA1; LA3: ; { Tnode_bROa11lyF5vxEN9aYNbHmhw* LOC7; Tnode_bROa11lyF5vxEN9aYNbHmhw* LOC8; LOC7 = (Tnode_bROa11lyF5vxEN9aYNbHmhw*)0; LOC7 = buildelse_sCNrMHnQvxnk67uE0fPE6w_2(n0); LOC8 = (Tnode_bROa11lyF5vxEN9aYNbHmhw*)0; LOC8 = neg_sCNrMHnQvxnk67uE0fPE6w(LOC7); (*m0) = (TY_ehmV9bTklH2Gt9cXHV9c0HLeQ*) incrSeqV2(&((*m0))->Sup, sizeof(Tnode_bROa11lyF5vxEN9aYNbHmhw*)); (*m0)->data[(*m0)->Sup.len] = LOC8; ++(*m0)->Sup.len; } LA1: ; } static N_INLINE(Tnode_bROa11lyF5vxEN9aYNbHmhw*, HEX5BHEX5D_4mGh5VHoHoaSkXDYdG6pyAparser)(Tnode_bROa11lyF5vxEN9aYNbHmhw* n0, NI i0) { Tnode_bROa11lyF5vxEN9aYNbHmhw* result0; result0 = (Tnode_bROa11lyF5vxEN9aYNbHmhw*)0; result0 = (*n0).kindU.S6.sons->data[i0]; return result0; } N_NIMCALL(Tnode_bROa11lyF5vxEN9aYNbHmhw*, usefulfact_sCNrMHnQvxnk67uE0fPE6w_3)(Tnode_bROa11lyF5vxEN9aYNbHmhw* n0) { Tnode_bROa11lyF5vxEN9aYNbHmhw* result0; Tmagic_shZhZOdbVC5nnFvcXQAImg LOC1; result0 = (Tnode_bROa11lyF5vxEN9aYNbHmhw*)0; LOC1 = (Tmagic_shZhZOdbVC5nnFvcXQAImg)0; LOC1 = getmagic_gSv3iFkSzJc9bXZaNBHR9bQA(n0); switch (LOC1) { case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 70): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 73): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 80): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 83): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 86): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 89): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 95): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 90): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 128): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 131): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 94): { { NIM_BOOL LOC5; Tnode_bROa11lyF5vxEN9aYNbHmhw* LOC6; NIM_BOOL LOC8; LOC5 = (NIM_BOOL)0; LOC6 = (Tnode_bROa11lyF5vxEN9aYNbHmhw*)0; LOC6 = skipconv_6rsSLwtlU9c53a6w69be5JlQ((*n0).kindU.S6.sons->data[((NI) 2)]); LOC5 = ((*LOC6).kind == ((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 23)); if (!(LOC5)) goto LA7; LOC8 = (NIM_BOOL)0; LOC8 = isletlocation_hUtXOV1wmdV9bRxZi9bWn27w((*n0).kindU.S6.sons->data[((NI) 1)], NIM_FALSE); if (LOC8) goto LA9; LOC8 = isvar_KmeY8mCvaqT9aBTREfeMUgg_4((*n0).kindU.S6.sons->data[((NI) 1)]); LA9: ; LOC5 = LOC8; LA7: ; if (!LOC5) goto LA10; result0 = buildcall_tPaBmwSthpx0WsKCReKucA(opisnil_kLGVMG4g3jeU2qICjFTf9ag, (*n0).kindU.S6.sons->data[((NI) 1)]); } goto LA3; LA10: ; { { NIM_BOOL LOC15; LOC15 = (NIM_BOOL)0; LOC15 = isletlocation_hUtXOV1wmdV9bRxZi9bWn27w((*n0).kindU.S6.sons->data[((NI) 1)], NIM_TRUE); if (LOC15) goto LA16; LOC15 = isletlocation_hUtXOV1wmdV9bRxZi9bWn27w((*n0).kindU.S6.sons->data[((NI) 2)], NIM_TRUE); LA16: ; if (!LOC15) goto LA17; result0 = n0; } LA17: ; } LA3: ; } break; case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 71) ... ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 72): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 74) ... ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 79): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 81) ... ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 82): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 84) ... ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 85): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 87) ... ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 88): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 91) ... ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 92): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 129) ... ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 130): { { NIM_BOOL LOC22; LOC22 = (NIM_BOOL)0; LOC22 = isletlocation_hUtXOV1wmdV9bRxZi9bWn27w((*n0).kindU.S6.sons->data[((NI) 1)], NIM_TRUE); if (LOC22) goto LA23; LOC22 = isletlocation_hUtXOV1wmdV9bRxZi9bWn27w((*n0).kindU.S6.sons->data[((NI) 2)], NIM_TRUE); LA23: ; if (!LOC22) goto LA24; result0 = n0; } goto LA20; LA24: ; { NIM_BOOL LOC27; Tnode_bROa11lyF5vxEN9aYNbHmhw* LOC28; Tmagic_shZhZOdbVC5nnFvcXQAImg LOC29; Tnode_bROa11lyF5vxEN9aYNbHmhw* LOC31; Tmagic_shZhZOdbVC5nnFvcXQAImg LOC32; LOC27 = (NIM_BOOL)0; LOC28 = (Tnode_bROa11lyF5vxEN9aYNbHmhw*)0; LOC28 = HEX5BHEX5D_4mGh5VHoHoaSkXDYdG6pyAparser(n0, ((NI) 1)); LOC29 = (Tmagic_shZhZOdbVC5nnFvcXQAImg)0; LOC29 = getmagic_gSv3iFkSzJc9bXZaNBHR9bQA(LOC28); LOC27 = (LOC29 == ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 33) || LOC29 == ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 34) || LOC29 == ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 35) || LOC29 == ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 36) || LOC29 == ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 37) || LOC29 == ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 38)); if (LOC27) goto LA30; LOC31 = (Tnode_bROa11lyF5vxEN9aYNbHmhw*)0; LOC31 = HEX5BHEX5D_4mGh5VHoHoaSkXDYdG6pyAparser(n0, ((NI) 2)); LOC32 = (Tmagic_shZhZOdbVC5nnFvcXQAImg)0; LOC32 = getmagic_gSv3iFkSzJc9bXZaNBHR9bQA(LOC31); LOC27 = (LOC32 == ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 33) || LOC32 == ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 34) || LOC32 == ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 35) || LOC32 == ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 36) || LOC32 == ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 37) || LOC32 == ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 38)); LA30: ; if (!LOC27) goto LA33; result0 = n0; } goto LA20; LA33: ; LA20: ; } break; case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 157): { { NIM_BOOL LOC38; LOC38 = (NIM_BOOL)0; LOC38 = isletlocation_hUtXOV1wmdV9bRxZi9bWn27w((*n0).kindU.S6.sons->data[((NI) 1)], NIM_FALSE); if (LOC38) goto LA39; LOC38 = isvar_KmeY8mCvaqT9aBTREfeMUgg_4((*n0).kindU.S6.sons->data[((NI) 1)]); LA39: ; if (!LOC38) goto LA40; result0 = n0; } LA40: ; } break; case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 147): case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 148): { { NIM_BOOL LOC45; LOC45 = (NIM_BOOL)0; LOC45 = isletlocation_hUtXOV1wmdV9bRxZi9bWn27w((*n0).kindU.S6.sons->data[((NI) 1)], NIM_TRUE); if (!LOC45) goto LA46; result0 = n0; } LA46: ; } break; case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 126): { Tnode_bROa11lyF5vxEN9aYNbHmhw* a0; Tnode_bROa11lyF5vxEN9aYNbHmhw* b0; a0 = usefulfact_sCNrMHnQvxnk67uE0fPE6w_3((*n0).kindU.S6.sons->data[((NI) 1)]); b0 = usefulfact_sCNrMHnQvxnk67uE0fPE6w_3((*n0).kindU.S6.sons->data[((NI) 2)]); { NIM_BOOL LOC51; LOC51 = (NIM_BOOL)0; LOC51 = !((a0 == NIM_NIL)); if (!(LOC51)) goto LA52; LOC51 = !((b0 == NIM_NIL)); LA52: ; if (!LOC51) goto LA53; result0 = newnodei_jIQp9ciM8if1a6TX6toZelw(((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 27), (*n0).info, ((NI) 3)); (*result0).kindU.S6.sons->data[((NI) 0)] = newsymnode_1ARBpggFQuvUDBVYjBelcw(opand_EEp3lD9cJvoBFv6lre6UN9bQ); (*result0).kindU.S6.sons->data[((NI) 1)] = a0; (*result0).kindU.S6.sons->data[((NI) 2)] = b0; } goto LA49; LA53: ; { if (!!((a0 == NIM_NIL))) goto LA56; result0 = a0; } goto LA49; LA56: ; { if (!!((b0 == NIM_NIL))) goto LA59; result0 = b0; } goto LA49; LA59: ; LA49: ; } break; case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 99): { Tnode_bROa11lyF5vxEN9aYNbHmhw* a0; a0 = usefulfact_sCNrMHnQvxnk67uE0fPE6w_3((*n0).kindU.S6.sons->data[((NI) 1)]); { if (!!((a0 == NIM_NIL))) goto LA64; result0 = neg_sCNrMHnQvxnk67uE0fPE6w(a0); } LA64: ; } break; case ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 127): { Tnode_bROa11lyF5vxEN9aYNbHmhw* a0; Tnode_bROa11lyF5vxEN9aYNbHmhw* LOC67; Tnode_bROa11lyF5vxEN9aYNbHmhw* b0; Tnode_bROa11lyF5vxEN9aYNbHmhw* LOC68; LOC67 = (Tnode_bROa11lyF5vxEN9aYNbHmhw*)0; LOC67 = usefulfact_sCNrMHnQvxnk67uE0fPE6w_3((*n0).kindU.S6.sons->data[((NI) 1)]); a0 = neg_sCNrMHnQvxnk67uE0fPE6w(LOC67); LOC68 = (Tnode_bROa11lyF5vxEN9aYNbHmhw*)0; LOC68 = usefulfact_sCNrMHnQvxnk67uE0fPE6w_3((*n0).kindU.S6.sons->data[((NI) 2)]); b0 = neg_sCNrMHnQvxnk67uE0fPE6w(LOC68); { NIM_BOOL LOC71; LOC71 = (NIM_BOOL)0; LOC71 = !((a0 == NIM_NIL)); if (!(LOC71)) goto LA72; LOC71 = !((b0 == NIM_NIL)); LA72: ; if (!LOC71) goto LA73; result0 = newnodei_jIQp9ciM8if1a6TX6toZelw(((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 27), (*n0).info, ((NI) 3)); (*result0).kindU.S6.sons->data[((NI) 0)] = newsymnode_1ARBpggFQuvUDBVYjBelcw(opand_EEp3lD9cJvoBFv6lre6UN9bQ); (*result0).kindU.S6.sons->data[((NI) 1)] = a0; (*result0).kindU.S6.sons->data[((NI) 2)] = b0; result0 = neg_sCNrMHnQvxnk67uE0fPE6w(result0); } LA73: ; } break; default: { { NIM_BOOL LOC78; LOC78 = (NIM_BOOL)0; LOC78 = ((*n0).kind == ((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 3)); if (!(LOC78)) goto LA79; LOC78 = ((*(*n0).kindU.S4.sym).kind == ((Tsymkind_cNCW9acsSznmEccl1fgQwkw) 9)); LA79: ; if (!LOC78) goto LA80; { if (!!(((*(*n0).kindU.S4.sym).ast == NIM_NIL))) goto LA84; result0 = usefulfact_sCNrMHnQvxnk67uE0fPE6w_3((*(*n0).kindU.S4.sym).ast); } LA84: ; } goto LA76; LA80: ; { Tnode_bROa11lyF5vxEN9aYNbHmhw* LOC89; if (!((*n0).kind == ((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 126))) goto LA87; LOC89 = (Tnode_bROa11lyF5vxEN9aYNbHmhw*)0; LOC89 = lastson_esDJA7239bJDiq4UrX9aHCjg(n0); result0 = usefulfact_sCNrMHnQvxnk67uE0fPE6w_3(LOC89); } goto LA76; LA87: ; LA76: ; } break; } return result0; } N_NIMCALL(void, addfact_bFUEMjbKo9b9auJEiVd0ZQYQ)(TY_ehmV9bTklH2Gt9cXHV9c0HLeQ** m0, Tnode_bROa11lyF5vxEN9aYNbHmhw* nn0) { Tnode_bROa11lyF5vxEN9aYNbHmhw* n0; n0 = usefulfact_sCNrMHnQvxnk67uE0fPE6w_3(nn0); { if (!!((n0 == NIM_NIL))) goto LA3; (*m0) = (TY_ehmV9bTklH2Gt9cXHV9c0HLeQ*) incrSeqV2(&((*m0))->Sup, sizeof(Tnode_bROa11lyF5vxEN9aYNbHmhw*)); (*m0)->data[(*m0)->Sup.len] = n0; ++(*m0)->Sup.len; } LA3: ; } N_NIMCALL(void, addfactneg_LmMi9c61EBrvHqw6xJyWX9bg)(TY_ehmV9bTklH2Gt9cXHV9c0HLeQ** m0, Tnode_bROa11lyF5vxEN9aYNbHmhw* n_g0kMHlrTYSq9cNM74l2lUNg) { Tnode_bROa11lyF5vxEN9aYNbHmhw* n0; n0 = neg_sCNrMHnQvxnk67uE0fPE6w(n_g0kMHlrTYSq9cNM74l2lUNg); { if (!!((n0 == NIM_NIL))) goto LA3; addfact_bFUEMjbKo9b9auJEiVd0ZQYQ(m0, n0); } LA3: ; } N_NIMCALL(void, adddiscriminantfact_3m4Lz9csEwXE9aVZb2DbaqTg)(TY_ehmV9bTklH2Gt9cXHV9c0HLeQ** m0, Tnode_bROa11lyF5vxEN9aYNbHmhw* n0) { Tnode_bROa11lyF5vxEN9aYNbHmhw* fact0; fact0 = newnodei_jIQp9ciM8if1a6TX6toZelw(((Tnodekind_G4E4Gxe7oI2Cm03rkiOzQw) 27), (*n0).info, ((NI) 3)); (*fact0).kindU.S6.sons->data[((NI) 0)] = newsymnode_1ARBpggFQuvUDBVYjBelcw(opeq_D0Nlpf9cFCp7tN1CjSXlPXQ); (*fact0).kindU.S6.sons->data[((NI) 1)] = (*n0).kindU.S6.sons->data[((NI) 0)]; (*fact0).kindU.S6.sons->data[((NI) 2)] = (*n0).kindU.S6.sons->data[((NI) 1)]; (*m0) = (TY_ehmV9bTklH2Gt9cXHV9c0HLeQ*) incrSeqV2(&((*m0))->Sup, sizeof(Tnode_bROa11lyF5vxEN9aYNbHmhw*)); (*m0)->data[(*m0)->Sup.len] = fact0; ++(*m0)->Sup.len; } NIM_EXTERNC N_NOINLINE(void, compiler_guardsInit000)(void) { nimRegisterGlobalMarker(T_6PEpSVg5zYQiUPcMieikwQ_2); nimRegisterGlobalMarker(T_6PEpSVg5zYQiUPcMieikwQ_4); nimRegisterGlobalMarker(T_6PEpSVg5zYQiUPcMieikwQ_6); nimRegisterGlobalMarker(T_6PEpSVg5zYQiUPcMieikwQ_8); nimRegisterGlobalMarker(T_6PEpSVg5zYQiUPcMieikwQ_10); nimRegisterGlobalMarker(T_6PEpSVg5zYQiUPcMieikwQ_12); nimRegisterGlobalMarker(T_6PEpSVg5zYQiUPcMieikwQ_14); nimRegisterGlobalMarker(T_6PEpSVg5zYQiUPcMieikwQ_16); nimRegisterGlobalMarker(T_6PEpSVg5zYQiUPcMieikwQ_18); nimRegisterGlobalMarker(T_6PEpSVg5zYQiUPcMieikwQ_20); nimRegisterGlobalMarker(T_6PEpSVg5zYQiUPcMieikwQ_22); ople_Ay4JQP9avFnuzaYTqtLf5kA = createmagic_3qzP4MECRIuWs9bfvISxW9cg(((NimStringDesc*) &T_6PEpSVg5zYQiUPcMieikwQ_3), ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 71)); oplt_uXgLk9a8f2hJkmqT9bsAf9a5g = createmagic_3qzP4MECRIuWs9bfvISxW9cg(((NimStringDesc*) &T_6PEpSVg5zYQiUPcMieikwQ_5), ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 72)); opand_EEp3lD9cJvoBFv6lre6UN9bQ = createmagic_3qzP4MECRIuWs9bfvISxW9cg(((NimStringDesc*) &T_6PEpSVg5zYQiUPcMieikwQ_7), ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 126)); opor_n8x9bd0E7rl9cMTzNk6MBwPQ = createmagic_3qzP4MECRIuWs9bfvISxW9cg(((NimStringDesc*) &T_6PEpSVg5zYQiUPcMieikwQ_9), ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 127)); opisnil_kLGVMG4g3jeU2qICjFTf9ag = createmagic_3qzP4MECRIuWs9bfvISxW9cg(((NimStringDesc*) &T_6PEpSVg5zYQiUPcMieikwQ_11), ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 157)); opeq_D0Nlpf9cFCp7tN1CjSXlPXQ = createmagic_3qzP4MECRIuWs9bfvISxW9cg(((NimStringDesc*) &T_6PEpSVg5zYQiUPcMieikwQ_13), ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 70)); opadd_MiKjpneuY9b6L9ceIpZUhAaQ = createmagic_3qzP4MECRIuWs9bfvISxW9cg(((NimStringDesc*) &T_6PEpSVg5zYQiUPcMieikwQ_15), ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 45)); opsub_g1SkvGaxEx9aWKtX49a9b843Q = createmagic_3qzP4MECRIuWs9bfvISxW9cg(((NimStringDesc*) &T_6PEpSVg5zYQiUPcMieikwQ_17), ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 46)); opmul_q1x09coi9aw6h3PYnIi6dX3w = createmagic_3qzP4MECRIuWs9bfvISxW9cg(((NimStringDesc*) &T_6PEpSVg5zYQiUPcMieikwQ_19), ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 47)); opdiv_LCgxGgIJghtQCdMbQuFRrQ = createmagic_3qzP4MECRIuWs9bfvISxW9cg(((NimStringDesc*) &T_6PEpSVg5zYQiUPcMieikwQ_21), ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 48)); oplen_Fm3hbG9cxqj29cNB0N7XW2Xw = createmagic_3qzP4MECRIuWs9bfvISxW9cg(((NimStringDesc*) &T_6PEpSVg5zYQiUPcMieikwQ_23), ((Tmagic_shZhZOdbVC5nnFvcXQAImg) 36)); } NIM_EXTERNC N_NOINLINE(void, compiler_guardsDatInit000)(void) { }