/* {READABLE_STRING_8}.copy */
void F921_10367 (EIF_REFERENCE Current, EIF_REFERENCE arg1)
{
GTCX
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
EIF_REFERENCE tr1 = NULL;
EIF_INTEGER_32 ti4_1;
EIF_INTEGER_32 ti4_2;
EIF_INTEGER_32 ti4_3;
EIF_INTEGER_32 ti4_4;
EIF_INTEGER_32 ti4_5;
EIF_INTEGER_32 ti4_6;
EIF_BOOLEAN tb1;
EIF_BOOLEAN tb2;
EIF_CHARACTER_8 tc1;
RTCDT;
RTLD;
RTLI(4);
RTLR(0,arg1);
RTLR(1,Current);
RTLR(2,loc1);
RTLR(3,tr1);
RTGC;
if ((EIF_BOOLEAN)(arg1 != Current)) {
loc1 = *(EIF_REFERENCE *)(Current + O8128[dtype-920]);
eif_builtin_ANY_standard_copy (Current, arg1);
tb1 = '\01';
tb2 = '\01';
if (!(EIF_BOOLEAN)(loc1 == NULL)) {
tr1 = *(EIF_REFERENCE *)(RTCV(arg1) + O8128[Dtype(arg1)-920]);
tb2 = (EIF_BOOLEAN)(loc1 == tr1);
}
if (!tb2) {
ti4_1 = (EIF_INTEGER_32) eif_builtin_SPECIAL_count (loc1);
tb1 = (EIF_BOOLEAN) (ti4_1 <= *(EIF_INTEGER_32 *)(Current + O8131[dtype-920]));
}
if (tb1) {
tr1 = *(EIF_REFERENCE *)(Current + O8128[dtype-920]);
ti4_1 = *(EIF_INTEGER_32 *)(Current + O8131[dtype-920]);
tr1 = F762_6978(RTCV(tr1), (EIF_INTEGER_32) (ti4_1 + ((EIF_INTEGER_32) 1L)));
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + O8128[dtype-920]) = (EIF_REFERENCE) tr1;
} else {
tr1 = *(EIF_REFERENCE *)(Current + O8128[dtype-920]);
ti4_1 = *(EIF_INTEGER_32 *)(Current + O8131[dtype-920]);
/* INLINED CODE (SPECIAL.copy_data) */
memmove((EIF_CHARACTER_8 *)loc1 + (((EIF_INTEGER_32) 0L)),(EIF_CHARACTER_8 *)tr1 + ((EIF_INTEGER_32) 0L), (rt_uint_ptr)sizeof(EIF_CHARACTER_8) * (rt_uint_ptr)ti4_1);
RT_SPECIAL_COUNT(loc1) = eif_max_int32(RT_SPECIAL_COUNT(loc1), ((EIF_INTEGER_32) 0L) + ti4_1);
/* END INLINED CODE */
;
RTAR(Current, loc1);
*(EIF_REFERENCE *)(Current + O8128[dtype-920]) = (EIF_REFERENCE) loc1;
}
*(EIF_INTEGER_32 *)(Current + O8098[dtype-919]) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 0L);
}
RTLE;
}
/* {RESIZABLE}.additional_space */
EIF_TYPED_VALUE F592_1563 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "additional_space";
RTEX;
EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32};
#define ui4_1 ui4_1x.it_i4
EIF_INTEGER_32 ti4_1;
EIF_INTEGER_32 ti4_2;
EIF_INTEGER_32 Result = ((EIF_INTEGER_32) 0);
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(1);
RTLR(0,Current);
RTLU (SK_INT32, &Result);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 591, Current, 0, 0, 1968);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(591, Current, 1968);
RTIV(Current, RTAL);
RTHOOK(1);
RTDBGAL(Current, 0, 0x10000000, 1,0); /* Result */
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1393, dtype))(Current)).it_i4);
ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1396, dtype))(Current)).it_i4);
ui4_1 = ti4_2;
ti4_2 = eif_max_int32 ((EIF_INTEGER_32) (ti4_1 / ((EIF_INTEGER_32) 2L)),ui4_1);
Result = (EIF_INTEGER_32) ti4_2;
if (RTAL & CK_ENSURE) {
RTHOOK(2);
RTCT("at_least_one", EX_POST);
if ((EIF_BOOLEAN) (Result >= ((EIF_INTEGER_32) 1L))) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(3);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(2);
RTEE;
{ EIF_TYPED_VALUE r; r.type = SK_INT32; r.it_i4 = Result; return r; }
#undef ui4_1
}
/* {READABLE_STRING_8}.make_from_string */
void F921_10332 (EIF_REFERENCE Current, EIF_REFERENCE arg1)
{
GTCX
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE tr2 = NULL;
EIF_INTEGER_32 ti4_1;
EIF_INTEGER_32 ti4_2;
EIF_INTEGER_32 ti4_3;
EIF_INTEGER_32 ti4_4;
EIF_INTEGER_32 ti4_5;
EIF_INTEGER_32 ti4_6;
EIF_INTEGER_32 ti4_7;
EIF_INTEGER_32 ti4_8;
EIF_CHARACTER_8 tc1;
RTCDT;
RTLD;
RTLI(4);
RTLR(0,Current);
RTLR(1,arg1);
RTLR(2,tr1);
RTLR(3,tr2);
RTGC;
tr1 = *(EIF_REFERENCE *)(RTCV(arg1) + O8128[Dtype(arg1)-920]);
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + O8128[dtype-920]) = (EIF_REFERENCE) tr1;
ti4_1 = *(EIF_INTEGER_32 *)(RTCV(arg1) + O8131[Dtype(arg1)-920]);
*(EIF_INTEGER_32 *)(Current + O8131[dtype-920]) = (EIF_INTEGER_32) ti4_1;
*(EIF_INTEGER_32 *)(Current + O8098[dtype-919]) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 0L);
if ((EIF_BOOLEAN)(Current != arg1)) {
ti4_1 = *(EIF_INTEGER_32 *)(Current + O8131[dtype-920]);
{
static EIF_TYPE_INDEX typarr0[] = {761,853,0xFFFF};
EIF_TYPE_INDEX typres0;
static EIF_TYPE_INDEX typcache0 = INVALID_DTYPE;
typres0 = (typcache0 != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(Dftype(Current), typarr0)));
tr1 = RTLNSP2(eif_non_attached_type(typres0),0,(EIF_INTEGER_32) (ti4_1 + ((EIF_INTEGER_32) 1L)),sizeof(EIF_CHARACTER_8), EIF_TRUE);
RT_SPECIAL_COUNT(tr1) = 0;
}
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + O8128[dtype-920]) = (EIF_REFERENCE) tr1;
tr1 = *(EIF_REFERENCE *)(Current + O8128[dtype-920]);
tr2 = *(EIF_REFERENCE *)(RTCV(arg1) + O8128[Dtype(arg1)-920]);
ti4_2 = (FUNCTION_CAST(EIF_INTEGER_32, (EIF_REFERENCE)) R8129[Dtype(arg1)-920])(RTCV(arg1));
ti4_3 = *(EIF_INTEGER_32 *)(Current + O8131[dtype-920]);
/* INLINED CODE (SPECIAL.copy_data) */
memmove((EIF_CHARACTER_8 *)tr1 + (((EIF_INTEGER_32) 0L)),(EIF_CHARACTER_8 *)tr2 + ti4_2, (rt_uint_ptr)sizeof(EIF_CHARACTER_8) * (rt_uint_ptr)(EIF_INTEGER_32) (ti4_3 + ((EIF_INTEGER_32) 1L)));
RT_SPECIAL_COUNT(tr1) = eif_max_int32(RT_SPECIAL_COUNT(tr1), ((EIF_INTEGER_32) 0L) + (EIF_INTEGER_32) (ti4_3 + ((EIF_INTEGER_32) 1L)));
/* END INLINED CODE */
;
}
RTLE;
}
/* {RESIZABLE}.additional_space */
EIF_INTEGER_32 F478_5153 (EIF_REFERENCE Current)
{
GTCX
EIF_INTEGER_32 ti4_1;
EIF_INTEGER_32 Result = ((EIF_INTEGER_32) 0);
RTLD;
RTLI(1);
RTLR(0,Current);
RTGC;
ti4_1 = (FUNCTION_CAST(EIF_INTEGER_32, (EIF_REFERENCE)) R4557[Dtype(Current)-489])(Current);
Result = eif_max_int32 ((EIF_INTEGER_32) (ti4_1 / ((EIF_INTEGER_32) 2L)),((EIF_INTEGER_32) 5L));
RTLE;
return Result;
}
/* {MANAGED_POINTER}.resize */
void F778_7317 (EIF_REFERENCE Current, EIF_INTEGER_32 arg1)
{
GTCX
EIF_POINTER tp1;
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE tr2 = NULL;
EIF_INTEGER_32 ti4_1;
RTLD;
RTLI(3);
RTLR(0,Current);
RTLR(1,tr1);
RTLR(2,tr2);
RTGC;
if ((EIF_BOOLEAN)(arg1 != *(EIF_INTEGER_32 *)(Current+ _LNGOFF_0_1_0_0_))) {
tp1 = *(EIF_POINTER *)(Current+ _PTROFF_0_1_0_1_0_0_);
ti4_1 = eif_max_int32 (arg1,((EIF_INTEGER_32) 1L));
tr1 = RTLNS(913, 913, _OBJSIZ_0_0_0_0_0_1_0_0_);
*(EIF_POINTER *)tr1 = tp1;
tp1 = F882_9667(RTCV(tr1), ti4_1);
*(EIF_POINTER *)(Current+ _PTROFF_0_1_0_1_0_0_) = (EIF_POINTER) tp1;
{
/* INLINED CODE (default_pointer) */
tp1 = (EIF_POINTER) 0;
/* END INLINED CODE */
}
if ((EIF_BOOLEAN)(*(EIF_POINTER *)(Current+ _PTROFF_0_1_0_1_0_0_) == tp1)) {
tr1 = RTLNS(115, 115, _OBJSIZ_0_0_0_0_0_0_0_0_);
tr2 = RTMS_EX_H("No more memory",14,904766585);
F116_3289(RTCV(tr1), tr2);
}
}
if ((EIF_BOOLEAN) (arg1 > *(EIF_INTEGER_32 *)(Current+ _LNGOFF_0_1_0_0_))) {
tp1 = *(EIF_POINTER *)(Current+ _PTROFF_0_1_0_1_0_0_);
tp1 = RTPOF(tp1,*(EIF_INTEGER_32 *)(Current+ _LNGOFF_0_1_0_0_));
ti4_1 = *(EIF_INTEGER_32 *)(Current+ _LNGOFF_0_1_0_0_);
memset((void *)tp1, (int) ((EIF_INTEGER_32) 0L), (size_t) (EIF_INTEGER_32) (arg1 - ti4_1));
}
*(EIF_INTEGER_32 *)(Current+ _LNGOFF_0_1_0_0_) = (EIF_INTEGER_32) arg1;
RTLE;
}
/* {MANAGED_POINTER}.make_from_pointer */
void F778_7235 (EIF_REFERENCE Current, EIF_POINTER arg1, EIF_INTEGER_32 arg2)
{
GTCX
EIF_POINTER tp1;
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE tr2 = NULL;
EIF_INTEGER_32 ti4_1;
RTLD;
RTLI(3);
RTLR(0,Current);
RTLR(1,tr1);
RTLR(2,tr2);
RTGC;
{
/* INLINED CODE (increment_counter) */
/* END INLINED CODE */
}
;
tp1 = *(EIF_POINTER *)(Current+ _PTROFF_0_1_0_1_0_0_);
ti4_1 = eif_max_int32 (arg2,((EIF_INTEGER_32) 1L));
tp1 = malloc((size_t)ti4_1);
*(EIF_POINTER *)(Current+ _PTROFF_0_1_0_1_0_0_) = (EIF_POINTER) tp1;
{
/* INLINED CODE (default_pointer) */
tp1 = (EIF_POINTER) 0;
/* END INLINED CODE */
}
if ((EIF_BOOLEAN)(*(EIF_POINTER *)(Current+ _PTROFF_0_1_0_1_0_0_) == tp1)) {
tr1 = RTLNS(115, 115, _OBJSIZ_0_0_0_0_0_0_0_0_);
tr2 = RTMS_EX_H("No more memory",14,904766585);
F116_3289(RTCV(tr1), tr2);
}
tp1 = *(EIF_POINTER *)(Current+ _PTROFF_0_1_0_1_0_0_);
memcpy((void *)tp1, (const void *) arg1, (size_t) arg2);
*(EIF_INTEGER_32 *)(Current+ _LNGOFF_0_1_0_0_) = (EIF_INTEGER_32) arg2;
*(EIF_BOOLEAN *)(Current+ _CHROFF_0_0_) = (EIF_BOOLEAN) (EIF_BOOLEAN) 0;
RTLE;
}
/* {EV_TEXT}.scroll_up */
void F1274_11857 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "scroll_up";
RTEX;
#define arg1 arg1x.it_i4
EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32};
#define ui4_1 ui4_1x.it_i4
EIF_INTEGER_32 ti4_1;
EIF_INTEGER_32 ti4_2;
RTCDT;
RTSN;
RTDA;
RTLD;
if ((arg1x.type & SK_HEAD) == SK_REF) arg1x.it_i4 = * (EIF_INTEGER_32 *) arg1x.it_r;
RTLI(1);
RTLR(0,Current);
RTLU (SK_VOID, NULL);
RTLU(SK_INT32,&arg1);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 1273, Current, 0, 1, 17757);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(1273, Current, 17757);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("i_positive", EX_PRE);
RTTE((EIF_BOOLEAN) (arg1 > ((EIF_INTEGER_32) 0L)), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9140, dtype))(Current)).it_i4);
ui4_1 = ((EIF_INTEGER_32) 1L);
ti4_2 = eif_max_int32 ((EIF_INTEGER_32) (ti4_1 - arg1),ui4_1);
RTNHOOK(2,1);
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9141, dtype))(Current)).it_i4);
ui4_1 = ti4_1;
ti4_1 = eif_min_int32 (ti4_2,ui4_1);
ui4_1 = ti4_1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(9147, dtype))(Current, ui4_1x);
RTVI(Current, RTAL);
RTRS;
RTHOOK(3);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(3);
RTEE;
#undef ui4_1
#undef arg1
}
/* {EV_FONT_IMP}.string_size */
EIF_REFERENCE F1035_13204 (EIF_REFERENCE Current, EIF_REFERENCE arg1)
{
GTCX
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
EIF_POINTER loc2 = (EIF_POINTER) 0;
EIF_POINTER loc3 = (EIF_POINTER) 0;
EIF_POINTER loc4 = (EIF_POINTER) 0;
EIF_POINTER loc5 = (EIF_POINTER) 0;
EIF_INTEGER_32 loc6 = (EIF_INTEGER_32) 0;
EIF_INTEGER_32 loc7 = (EIF_INTEGER_32) 0;
EIF_INTEGER_32 loc8 = (EIF_INTEGER_32) 0;
EIF_INTEGER_32 loc9 = (EIF_INTEGER_32) 0;
EIF_INTEGER_32 loc10 = (EIF_INTEGER_32) 0;
EIF_INTEGER_32 loc11 = (EIF_INTEGER_32) 0;
EIF_INTEGER_32 loc12 = (EIF_INTEGER_32) 0;
EIF_INTEGER_32 loc13 = (EIF_INTEGER_32) 0;
EIF_INTEGER_32 loc14 = (EIF_INTEGER_32) 0;
EIF_INTEGER_32 loc15 = (EIF_INTEGER_32) 0;
EIF_INTEGER_32 loc16 = (EIF_INTEGER_32) 0;
EIF_INTEGER_32 loc17 = (EIF_INTEGER_32) 0;
EIF_INTEGER_32 loc18 = (EIF_INTEGER_32) 0;
EIF_INTEGER_32 loc19 = (EIF_INTEGER_32) 0;
EIF_INTEGER_32 loc20 = (EIF_INTEGER_32) 0;
EIF_REFERENCE loc21 = (EIF_REFERENCE) 0;
EIF_POINTER tp1;
EIF_POINTER tp2;
EIF_INTEGER_32 ti4_1;
EIF_REFERENCE Result = ((EIF_REFERENCE) 0);
RTLD;
RTLI(5);
RTLR(0,loc21);
RTLR(1,Current);
RTLR(2,loc1);
RTLR(3,arg1);
RTLR(4,Result);
RTGC;
loc21 = RTOSCF(13229,F1035_13229,(Current));
loc1 = F1049_13651(RTCV(loc21), arg1);
loc2 = RTOSCF(8093,F791_8093,(RTCV(loc21)));
tp1 = *(EIF_POINTER *)(RTCV(loc1)+ _PTROFF_0_1_0_1_0_0_);
ti4_1 = *(EIF_INTEGER_32 *)(RTCV(loc1)+ _LNGOFF_0_1_0_0_);
pango_layout_set_text((PangoLayout*) loc2, (char*) tp1, (int) ti4_1);
tp1 = *(EIF_POINTER *)(Current+ _PTROFF_3_2_0_8_0_0_);
pango_layout_set_font_description((PangoLayout*) loc2, (PangoFontDescription*) tp1);
loc4 = (EIF_POINTER) calloc (sizeof(PangoRectangle), 1);
loc5 = RTOSCF(13207,F1035_13207,(Current));
pango_layout_get_pixel_extents((PangoLayout*) loc2, (PangoRectangle*) loc4, (PangoRectangle*) loc5);
loc3 = F791_8094(RTCV(loc21));
loc20 = (EIF_INTEGER_32) pango_layout_iter_get_baseline((PangoLayoutIter*) loc3);
ti4_1 = (EIF_INTEGER_32) PANGO_SCALE;
loc20 = (EIF_INTEGER_32) (EIF_INTEGER_32) (loc20 / ti4_1);
pango_layout_iter_free((PangoLayoutIter*) loc3);
loc6 = (EIF_INTEGER_32) (((PangoRectangle *)loc5)->x);
loc7 = (EIF_INTEGER_32) (((PangoRectangle *)loc5)->y);
loc8 = (EIF_INTEGER_32) (((PangoRectangle *)loc5)->width);
loc9 = (EIF_INTEGER_32) (((PangoRectangle *)loc5)->height);
loc10 = (EIF_INTEGER_32) (((PangoRectangle *)loc4)->x);
loc11 = (EIF_INTEGER_32) (((PangoRectangle *)loc4)->y);
loc12 = (EIF_INTEGER_32) (((PangoRectangle *)loc4)->width);
loc13 = (EIF_INTEGER_32) (((PangoRectangle *)loc4)->height);
loc14 = (EIF_INTEGER_32) loc8;
loc15 = (EIF_INTEGER_32) loc9;
if ((EIF_BOOLEAN) (loc12 > ((EIF_INTEGER_32) 0L))) {
loc16 = (EIF_INTEGER_32) loc10;
loc17 = (EIF_INTEGER_32) (EIF_INTEGER_32) ((EIF_INTEGER_32) (loc16 + loc12) - loc8);
}
if ((EIF_BOOLEAN) (loc13 > ((EIF_INTEGER_32) 0L))) {
loc18 = (EIF_INTEGER_32) loc11;
loc19 = (EIF_INTEGER_32) (EIF_INTEGER_32) ((EIF_INTEGER_32) (loc18 + loc13) - loc9);
}
Result = RTOSCF(13205,F1035_13205,(Current));
ti4_1 = eif_max_int32 (loc14,((EIF_INTEGER_32) 1L));
F842_8563(RTCV(Result), ti4_1, ((EIF_INTEGER_32) 1L));
ti4_1 = eif_max_int32 (loc15,((EIF_INTEGER_32) 1L));
F842_8563(RTCV(Result), ti4_1, ((EIF_INTEGER_32) 2L));
F842_8563(RTCV(Result), loc16, ((EIF_INTEGER_32) 3L));
F842_8563(RTCV(Result), loc17, ((EIF_INTEGER_32) 4L));
F842_8563(RTCV(Result), loc20, ((EIF_INTEGER_32) 5L));
F842_8563(RTCV(Result), loc18, ((EIF_INTEGER_32) 6L));
F842_8563(RTCV(Result), loc19, ((EIF_INTEGER_32) 7L));
free(loc4);
{
/* INLINED CODE (default_pointer) */
tp1 = (EIF_POINTER) 0;
/* END INLINED CODE */
}
tp2 = tp1;
pango_layout_set_font_description((PangoLayout*) loc2, (PangoFontDescription*) tp2);
RTLE;
return Result;
}
/* {EV_GAUGE}.leap_backward */
void F1264_11744 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "leap_backward";
RTEX;
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32};
#define ui4_1 ui4_1x.it_i4
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE tr2 = NULL;
EIF_INTEGER_32 ti4_1;
EIF_INTEGER_32 ti4_2;
EIF_INTEGER_32 ti4_3;
EIF_INTEGER_32 ti4_4;
EIF_BOOLEAN tb1;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(3);
RTLR(0,Current);
RTLR(1,tr1);
RTLR(2,tr2);
RTLU (SK_VOID, NULL);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 1263, Current, 0, 0, 17647);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(1263, Current, 17647);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("not_destroyed", EX_PRE);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8387, dtype))(Current)).it_b);
RTTE((EIF_BOOLEAN) !tb1, label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:
;
if (RTAL & CK_ENSURE) {
in_assertion = ~0;
RTE_OT
ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9059, dtype))(Current)).it_i4);
ti4_1 = ti4_2;
tr1 = NULL;
RTE_O
tr1 = RTLA;
RTE_OE
in_assertion = 0;
}
RTHOOK(2);
tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8388, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(2,1);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(10570, "leap_backward", tr2))(tr2);
if (RTAL & CK_ENSURE) {
RTHOOK(3);
RTCT("decremented", EX_POST);
ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9059, dtype))(Current)).it_i4);
tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9062, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(3,1);
ti4_3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2439, "lower", tr2))(tr2)).it_i4);
RTNHOOK(3,2);
RTCO(tr1);
ti4_4 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9061, dtype))(Current)).it_i4);
ui4_1 = (EIF_INTEGER_32) (ti4_1 - ti4_4);
ti4_4 = eif_max_int32 (ti4_3,ui4_1);
if ((EIF_BOOLEAN)(ti4_2 == ti4_4)) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(4);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(2);
RTEE;
#undef up1
#undef ui4_1
}
