#include "newmacros.h" #include "runtime.h" #define v163 ((void*)startLabel+22) #define v164 ((void*)startLabel+29) #define CT_v167 ((void*)startLabel+48) #define FN_LAMBDA160 ((void*)startLabel+76) #define CT_v170 ((void*)startLabel+108) #define CF_LAMBDA160 ((void*)startLabel+116) #define ST_v165 ((void*)startLabel+120) #define ST_v168 ((void*)startLabel+133) #define ST_v169 ((void*)startLabel+156) extern Node TM_Prelude[]; extern Node FN_Prelude_46error[]; extern Node TMSUB_Prelude[]; static Node startLabel[] = { bytes2word(1,0,0,1) , useLabel(CT_v167) ,}; Node FN_Prelude_46tail[] = { useLabel(TM_Prelude) , bytes2word(NEEDSTACK_I16,PUSH_ZAP_ARG_I1,EVAL,NEEDHEAP_I32) , bytes2word(TABLESWITCH,2,TOP(4),BOT(4)) , /* v163: (byte 2) */ bytes2word(TOP(11),BOT(11),POP_I1,HEAP_CVAL_I3) , bytes2word(PUSH_HEAP,HEAP_CVAL_I4,HEAP_OFF_N1,2) , /* v164: (byte 1) */ bytes2word(RETURN_EVAL,UNPACK,2,PUSH_I1) , bytes2word(RETURN_EVAL,ENDCODE,0,0) , bytes2word(0,0,0,0) , 40001 , useLabel(ST_v165) , /* CT_v167: (byte 0) */ HW(2,1) , 0 ,}; Node F0_Prelude_46tail[] = { CAPTAG(useLabel(FN_Prelude_46tail),1) , VAPTAG(useLabel(FN_LAMBDA160)) , VAPTAG(useLabel(FN_Prelude_46error)) , bytes2word(0,0,0,0) , useLabel(CT_v170) , /* FN_LAMBDA160: (byte 0) */ useLabel(TMSUB_Prelude) , bytes2word(NEEDHEAP_I32,PUSH_CADR_N1,4,STRING) , bytes2word(RETURN,ENDCODE,0,0) , bytes2word(0,0,0,0) , CONSTRW(1,0) , useLabel(ST_v169) , 50025 , useLabel(ST_v168) , /* CT_v170: (byte 0) */ HW(0,0) , 0 , /* CF_LAMBDA160: (byte 0) */ VAPTAG(useLabel(FN_LAMBDA160)) , /* ST_v165: (byte 0) */ bytes2word(80,114,101,108) , bytes2word(117,100,101,46) , bytes2word(116,97,105,108) , /* ST_v168: (byte 1) */ bytes2word(0,80,114,101) , bytes2word(108,117,100,101) , bytes2word(46,116,97,105) , bytes2word(108,58,53,58) , bytes2word(50,53,45,53) , /* ST_v169: (byte 4) */ bytes2word(58,53,52,0) , bytes2word(80,114,101,108) , bytes2word(117,100,101,76) , bytes2word(105,115,116,46) , bytes2word(116,97,105,108) , bytes2word(58,32,101,109) , bytes2word(112,116,121,32) , bytes2word(108,105,115,116) , bytes2word(0,0,0,0) ,};