#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_46head[] = {
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_P1)
, bytes2word(0,RETURN_EVAL,ENDCODE,0)
, bytes2word(0,0,0,0)
, 40001
, useLabel(ST_v165)
, /* CT_v167: (byte 0) */
HW(2,1)
, 0
,};
Node F0_Prelude_46head[] = {
CAPTAG(useLabel(FN_Prelude_46head),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(104,101,97,100)
, /* ST_v168: (byte 1) */
bytes2word(0,80,114,101)
, bytes2word(108,117,100,101)
, bytes2word(46,104,101,97)
, bytes2word(100,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(104,101,97,100)
, bytes2word(58,32,101,109)
, bytes2word(112,116,121,32)
, bytes2word(108,105,115,116)
, bytes2word(0,0,0,0)
,};
|