#include "newmacros.h"
#include "runtime.h"
#define CT_v169 ((void*)startLabel+40)
#define CT_v171 ((void*)startLabel+92)
#define CT_v173 ((void*)startLabel+144)
#define ST_v172 ((void*)startLabel+164)
#define ST_v168 ((void*)startLabel+183)
#define ST_v170 ((void*)startLabel+211)
extern Node TM_Prelude[];
static Node startLabel[] = {
bytes2word(0,0,0,0)
, useLabel(CT_v169)
,};
Node FN_Prelude_46Bounded_46_40_41_46maxBound[] = {
useLabel(TM_Prelude)
, bytes2word(NEEDHEAP_I32,PUSH_HEAP,HEAP_CVAL_IN3,RETURN)
, bytes2word(ENDCODE,0,0,0)
, bytes2word(0,0,0,0)
, 0
, CONSTR(0,0,0)
, 50003
, useLabel(ST_v168)
, /* CT_v169: (byte 0) */
HW(0,0)
, 0
,};
Node CF_Prelude_46Bounded_46_40_41_46maxBound[] = {
VAPTAG(useLabel(FN_Prelude_46Bounded_46_40_41_46maxBound))
, bytes2word(0,0,0,0)
, useLabel(CT_v171)
,};
Node FN_Prelude_46Bounded_46_40_41_46minBound[] = {
useLabel(TM_Prelude)
, bytes2word(NEEDHEAP_I32,PUSH_HEAP,HEAP_CVAL_IN3,RETURN)
, bytes2word(ENDCODE,0,0,0)
, bytes2word(0,0,0,0)
, 0
, CONSTR(0,0,0)
, 40003
, useLabel(ST_v170)
, /* CT_v171: (byte 0) */
HW(0,0)
, 0
,};
Node CF_Prelude_46Bounded_46_40_41_46minBound[] = {
VAPTAG(useLabel(FN_Prelude_46Bounded_46_40_41_46minBound))
, bytes2word(0,0,0,0)
, useLabel(CT_v173)
,};
Node FN_Prelude_46Bounded_46_40_41[] = {
useLabel(TM_Prelude)
, bytes2word(NEEDHEAP_I32,PUSH_HEAP,HEAP_CVAL_IN3,HEAP_CVAL_I3)
, bytes2word(HEAP_CVAL_I4,RETURN,ENDCODE,0)
, bytes2word(0,0,0,0)
, 0
, CONSTR(0,2,0)
, 30010
, useLabel(ST_v172)
, /* CT_v173: (byte 0) */
HW(2,0)
, 0
,};
Node CF_Prelude_46Bounded_46_40_41[] = {
VAPTAG(useLabel(FN_Prelude_46Bounded_46_40_41))
, useLabel(CF_Prelude_46Bounded_46_40_41_46minBound)
, useLabel(CF_Prelude_46Bounded_46_40_41_46maxBound)
, /* ST_v172: (byte 0) */
bytes2word(80,114,101,108)
, bytes2word(117,100,101,46)
, bytes2word(66,111,117,110)
, bytes2word(100,101,100,46)
, /* ST_v168: (byte 3) */
bytes2word(40,41,0,80)
, bytes2word(114,101,108,117)
, bytes2word(100,101,46,66)
, bytes2word(111,117,110,100)
, bytes2word(101,100,46,40)
, bytes2word(41,46,109,97)
, bytes2word(120,66,111,117)
, /* ST_v170: (byte 3) */
bytes2word(110,100,0,80)
, bytes2word(114,101,108,117)
, bytes2word(100,101,46,66)
, bytes2word(111,117,110,100)
, bytes2word(101,100,46,40)
, bytes2word(41,46,109,105)
, bytes2word(110,66,111,117)
, bytes2word(110,100,0,0)
,};
|