+val_t kernel___Int_____leqg(val_t self, val_t param0) {
+ struct trace_t trace = {NULL, NULL, 239, LOCATE_kernel___Int_____leqg};
+ val_t variable[4];
+ void **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
+ variable[0] = self;
+ variable[1] = param0;
+ variable[3] = variable[0];
+ variable[3] = TAG_Bool(UNTAG_Int(variable[3])<UNTAG_Int( variable[1] /*other*/));
+ if (UNTAG_Bool(variable[3])) { /*if*/
+ variable[3] = TAG_Int(-UNTAG_Int( TAG_Int(1)));
+ variable[2] = variable[3];
+ goto return_label15;
+ } else { /*if*/
+ variable[3] = variable[0];
+ variable[3] = TAG_Bool(UNTAG_Int( variable[1] /*other*/)<UNTAG_Int(variable[3]));
+ if (UNTAG_Bool(variable[3])) { /*if*/
+ variable[2] = TAG_Int(1);
+ goto return_label15;
+ } else { /*if*/
+ variable[2] = TAG_Int(0);
+ goto return_label15;
+ }
+ }
+ return_label15: while(false);
+ tracehead = trace.prev;
+ return variable[2];
+}
+val_t kernel___Int___is_between(val_t self, val_t param0, val_t param1) {
+ struct trace_t trace = {NULL, NULL, 250, LOCATE_kernel___Int___is_between};
+ val_t variable[6];
+ void **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
+ variable[0] = self;
+ variable[1] = param0;
+ variable[2] = param1;
+ variable[4] = variable[0];
+ variable[4] = TAG_Bool(UNTAG_Int(variable[4])<UNTAG_Int( variable[1] /*c*/));
+ variable[5] = variable[4];
+ if (!UNTAG_Bool(variable[5])) { /* or */
+ variable[5] = variable[0];
+ variable[5] = TAG_Bool(UNTAG_Int( variable[2] /*d*/)<UNTAG_Int(variable[5]));
+ }
+ variable[4] = variable[5];
+ if (UNTAG_Bool(variable[4])) { /*if*/
+ variable[3] = TAG_Bool(false);
+ goto return_label16;
+ } else { /*if*/
+ variable[3] = TAG_Bool(true);
+ goto return_label16;
+ }
+ return_label16: while(false);
+ tracehead = trace.prev;
+ return variable[3];
+}
+val_t kernel___Int___max(val_t self, val_t param0) {
+ struct trace_t trace = {NULL, NULL, 259, LOCATE_kernel___Int___max};
+ val_t variable[4];
+ void **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
+ variable[0] = self;
+ variable[1] = param0;
+ variable[3] = variable[0];
+ variable[3] = TAG_Bool(UNTAG_Int(variable[3])<UNTAG_Int( variable[1] /*other*/));
+ if (UNTAG_Bool(variable[3])) { /*if*/
+ variable[2] = variable[1] /*other*/;
+ goto return_label17;
+ } else { /*if*/
+ variable[3] = variable[0];
+ variable[2] = variable[3];
+ goto return_label17;
+ }
+ return_label17: while(false);
+ tracehead = trace.prev;
+ return variable[2];
+}
+val_t kernel___Int___min(val_t self, val_t param0) {
+ struct trace_t trace = {NULL, NULL, 268, LOCATE_kernel___Int___min};
+ val_t variable[4];
+ void **closurevariable = NULL;
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_kernel;
+ variable[0] = self;
+ variable[1] = param0;
+ variable[3] = variable[0];
+ variable[3] = TAG_Bool(UNTAG_Int( variable[1] /*c*/)<UNTAG_Int(variable[3]));
+ if (UNTAG_Bool(variable[3])) { /*if*/
+ variable[2] = variable[1] /*c*/;
+ goto return_label18;
+ } else { /*if*/
+ variable[3] = variable[0];
+ variable[2] = variable[3];
+ goto return_label18;
+ }
+ return_label18: while(false);
+ tracehead = trace.prev;
+ return variable[2];
+}
+val_t kernel___Int___succ(val_t self) {
+ struct trace_t trace = {NULL, NULL, 227, LOCATE_kernel___Int___succ};
+ val_t *variable = NULL;
+ void **closurevariable = NULL;