/* {DS_CURSOR}.copy */
void F885_7048 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "copy";
RTEX;
#define arg1 arg1x.it_r
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_REFERENCE tr1 = NULL;
EIF_BOOLEAN tb1;
EIF_BOOLEAN tb2;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(4);
RTLR(0,arg1);
RTLR(1,ur1);
RTLR(2,Current);
RTLR(3,tr1);
RTLIU(4);
RTLU (SK_VOID, NULL);
RTLU(SK_REF,&arg1);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 884, Current, 0, 1, 12762);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(884, Current, 12762);
RTCC(arg1, 884, l_feature_name, 1, eif_new_type(Dftype(Current), 1), 0x01);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("other_not_void", EX_PRE);
RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
RTCK;
RTHOOK(2);
RTCT("type_identity", EX_PRE);
ur1 = RTCCL(arg1);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(10, dtype))(Current, ur1x)).it_b);
RTTE(tb1, label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(3);
tb1 = '\0';
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4970, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
if ((EIF_BOOLEAN)(tr1 != NULL)) {
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4971, dtype))(Current)).it_b);
tb1 = (EIF_BOOLEAN) !tb2;
}
if (tb1) {
RTHOOK(4);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4970, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(4,1);
ur1 = RTCCL(Current);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(5030, "remove_traversing_cursor", tr1))(tr1, ur1x);
}
RTHOOK(5);
ur1 = RTCCL(arg1);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(19, dtype))(Current, ur1x);
RTHOOK(6);
RTDBGAA(Current, dtype, 4975, 0xF8000374, 0); /* next_cursor */
*(EIF_REFERENCE *)(Current + RTWA(4975, dtype)) = (EIF_REFERENCE) NULL;
RTHOOK(7);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4971, dtype))(Current)).it_b);
if ((EIF_BOOLEAN) !tb1) {
RTHOOK(8);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4970, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(8,1);
ur1 = RTCCL(Current);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(5029, "add_traversing_cursor", tr1))(tr1, ur1x);
}
/* {STRING_ITERATION_CURSOR}.forth */
void F169_2995 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "forth";
RTEX;
EIF_REFERENCE tr1 = NULL;
EIF_INTEGER_32 ti4_1;
EIF_INTEGER_32 ti4_2;
EIF_BOOLEAN tb1;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(2);
RTLR(0,Current);
RTLR(1,tr1);
RTLU (SK_VOID, NULL);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 168, Current, 0, 0, 3514);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(168, Current, 3514);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("valid_position", EX_PRE);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1634, 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 = *(EIF_INTEGER_32 *)(Current + RTWA(2510, dtype));
ti4_1 = ti4_2;
tr1 = NULL;
RTE_O
tr1 = RTLA;
RTE_OE
in_assertion = 0;
}
RTHOOK(2);
RTDBGAA(Current, dtype, 2510, 0x10000000, 1); /* target_index */
(*(EIF_INTEGER_32 *)(Current + RTWA(2510, dtype)))++;
if (RTAL & CK_ENSURE) {
RTHOOK(3);
RTCT("target_index_advanced", EX_POST);
ti4_2 = *(EIF_INTEGER_32 *)(Current + RTWA(2510, dtype));
RTCO(tr1);
if ((EIF_BOOLEAN)(ti4_2 == (EIF_INTEGER_32) (ti4_1 + ((EIF_INTEGER_32) 1L)))) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(4);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(2);
RTEE;
}
/* {RT_DBG_FIELD_RECORD}.make */
void F812_21146 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x, EIF_TYPED_VALUE arg2x, EIF_TYPED_VALUE arg3x, EIF_TYPED_VALUE arg4x)
{
GTCX
char *l_feature_name = "make";
RTEX;
#define arg1 arg1x.it_r
#define arg2 arg2x.it_i4
#define arg3 arg3x.it_i4
#define arg4 arg4x.it_r
RTCDT;
RTSN;
RTDA;
RTLD;
if ((arg3x.type & SK_HEAD) == SK_REF) arg3x.it_i4 = * (EIF_INTEGER_32 *) arg3x.it_r;
if ((arg2x.type & SK_HEAD) == SK_REF) arg2x.it_i4 = * (EIF_INTEGER_32 *) arg2x.it_r;
RTLI(3);
RTLR(0,arg4);
RTLR(1,arg1);
RTLR(2,Current);
RTLU (SK_VOID, NULL);
RTLU(SK_REF,&arg1);
RTLU(SK_INT32,&arg2);
RTLU(SK_INT32,&arg3);
RTLU(SK_REF,&arg4);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 811, Current, 0, 4, 15424);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(811, Current, 15424);
RTCC(arg4, 811, l_feature_name, 4, RTWCT(18332, dtype, Dftype(Current)));
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("obj_attached", EX_PRE);
RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
RTDBGAA(Current, dtype, 18331, 0xF8000000, 0); /* object */
RTAR(Current, arg1);
*(EIF_REFERENCE *)(Current + RTWA(18331, dtype)) = (EIF_REFERENCE) RTCCL(arg1);
RTHOOK(3);
RTDBGAA(Current, dtype, 18318, 0x10000000, 1); /* index */
*(EIF_INTEGER_32 *)(Current + RTWA(18318, dtype)) = (EIF_INTEGER_32) arg2;
RTHOOK(4);
RTDBGAA(Current, dtype, 18319, 0x10000000, 1); /* type */
*(EIF_INTEGER_32 *)(Current + RTWA(18319, dtype)) = (EIF_INTEGER_32) arg3;
RTHOOK(5);
RTDBGAA(Current, dtype, 18332, 0xF8000000, 0); /* value */
RTAR(Current, arg4);
*(EIF_REFERENCE *)(Current + RTWA(18332, dtype)) = (EIF_REFERENCE) RTCCL(arg4);
RTVI(Current, RTAL);
RTRS;
RTHOOK(6);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(6);
RTEE;
#undef arg4
#undef arg3
#undef arg2
#undef arg1
}
/* {EV_TITLED_WINDOW_ACTION_SEQUENCES_I}.maximize_actions */
EIF_TYPED_VALUE F984_8905 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "maximize_actions";
RTEX;
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE Result = ((EIF_REFERENCE) 0);
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(3);
RTLR(0,Current);
RTLR(1,tr1);
RTLR(2,Result);
RTLU (SK_REF, &Result);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 983, Current, 0, 0, 14485);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(983, Current, 14485);
RTIV(Current, RTAL);
RTHOOK(1);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6792, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
if ((EIF_BOOLEAN)(tr1 == NULL)) {
RTHOOK(2);
RTDBGAA(Current, dtype, 6792, 0xF8000458, 0); /* maximize_actions_internal */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6791, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(6792, dtype)) = (EIF_REFERENCE) RTCCL(tr1);
}
RTHOOK(3);
RTDBGAL(Current, 0, 0xF8000458, 0,0); /* Result */
Result = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6792, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
if (RTAL & CK_ENSURE) {
RTHOOK(4);
RTCT("not_void", EX_POST);
if ((EIF_BOOLEAN)(Result != NULL)) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(5);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(2);
RTEE;
{ EIF_TYPED_VALUE r; r.type = SK_REF; r.it_r = Result; return r; }
#undef up1
}
/* {WSF_ROUTER_SELF_DOCUMENTATION_HANDLER}.make */
void F268_11463 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "make";
RTEX;
#define arg1 arg1x.it_r
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_REFERENCE tr1 = NULL;
EIF_BOOLEAN tb1;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(3);
RTLR(0,arg1);
RTLR(1,Current);
RTLR(2,tr1);
RTLU (SK_VOID, NULL);
RTLU(SK_REF,&arg1);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 267, Current, 0, 1, 4316);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(267, Current, 4316);
if (arg1) {
RTCC(arg1, 267, l_feature_name, 1, 318);
}
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("a_router_attached", EX_PRE);
RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
RTDBGAA(Current, dtype, 10675, 0xF800013E, 0); /* router */
RTAR(Current, arg1);
*(EIF_REFERENCE *)(Current + RTWA(10675, dtype)) = (EIF_REFERENCE) RTCCL(arg1);
if (RTAL & CK_ENSURE) {
RTHOOK(3);
RTCT("router_aliased", EX_POST);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(10675, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
if (RTCEQ(tr1, arg1)) {
RTCK;
} else {
RTCF;
}
RTHOOK(4);
RTCT("not_hidden", EX_POST);
tb1 = *(EIF_BOOLEAN *)(Current + RTWA(10677, dtype));
if ((EIF_BOOLEAN) !tb1) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(5);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(3);
RTEE;
#undef up1
#undef arg1
}
/* {RT_DBG_ATTRIBUTE_RECORD}.make */
void F1095_21178 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x, EIF_TYPED_VALUE arg2x, EIF_TYPED_VALUE arg3x, EIF_TYPED_VALUE arg4x, EIF_TYPED_VALUE arg5x)
{
GTCX
char *l_feature_name = "make";
RTEX;
#define arg1 arg1x.it_r
#define arg2 arg2x.it_i4
#define arg3 arg3x.it_i4
#define arg4 arg4x.it_n4
#define arg5 arg5x.it_c4
RTCDT;
RTSN;
RTDA;
RTLD;
if ((arg5x.type & SK_HEAD) == SK_REF) arg5x.it_c4 = * (EIF_CHARACTER_32 *) arg5x.it_r;
if ((arg4x.type & SK_HEAD) == SK_REF) arg4x.it_n4 = * (EIF_NATURAL_32 *) arg4x.it_r;
if ((arg3x.type & SK_HEAD) == SK_REF) arg3x.it_i4 = * (EIF_INTEGER_32 *) arg3x.it_r;
if ((arg2x.type & SK_HEAD) == SK_REF) arg2x.it_i4 = * (EIF_INTEGER_32 *) arg2x.it_r;
RTLI(2);
RTLR(0,arg1);
RTLR(1,Current);
RTLU (SK_VOID, NULL);
RTLU(SK_REF,&arg1);
RTLU(SK_INT32,&arg2);
RTLU(SK_INT32,&arg3);
RTLU(SK_UINT32,&arg4);
RTLU(SK_CHAR32,&arg5);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 1094, Current, 0, 5, 16032);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(1094, Current, 16032);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("obj_attached", EX_PRE);
RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
RTDBGAA(Current, dtype, 18348, 0xF8000000, 0); /* object */
RTAR(Current, arg1);
*(EIF_REFERENCE *)(Current + RTWA(18348, dtype)) = (EIF_REFERENCE) RTCCL(arg1);
RTHOOK(3);
RTDBGAA(Current, dtype, 18318, 0x10000000, 1); /* offset */
*(EIF_INTEGER_32 *)(Current + RTWA(18318, dtype)) = (EIF_INTEGER_32) arg2;
RTHOOK(4);
RTDBGAA(Current, dtype, 18319, 0x10000000, 1); /* type */
*(EIF_INTEGER_32 *)(Current + RTWA(18319, dtype)) = (EIF_INTEGER_32) arg3;
RTHOOK(5);
RTDBGAA(Current, dtype, 18350, 0x38000000, 1); /* rt_type */
*(EIF_NATURAL_32 *)(Current + RTWA(18350, dtype)) = (EIF_NATURAL_32) arg4;
RTHOOK(6);
RTDBGAA(Current, dtype, 18349, 0x1C000000, 0); /* value */
*(EIF_CHARACTER_32 *)(Current + RTWA(18349, dtype)) = (EIF_CHARACTER_32) arg5;
RTVI(Current, RTAL);
RTRS;
RTHOOK(7);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(7);
RTEE;
#undef arg5
#undef arg4
#undef arg3
#undef arg2
#undef arg1
}
/* {RT_DBG_FIELD_RECORD}.get_value */
void F977_21154 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "get_value";
RTEX;
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
EIF_NATURAL_8 loc2 = (EIF_NATURAL_8) 0;
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
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_NATURAL_8 tu1_1;
EIF_BOOLEAN tb1;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(5);
RTLR(0,loc1);
RTLR(1,Current);
RTLR(2,tr1);
RTLR(3,ur1);
RTLR(4,tr2);
RTLU (SK_VOID, NULL);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTLU(SK_UINT8, &loc2);
RTEAA(l_feature_name, 976, Current, 2, 0, 15492);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(976, Current, 15492);
RTIV(Current, RTAL);
RTHOOK(1);
RTDBGAL(Current, 1, 0xF8000103, 0, 0); /* loc1 */
loc1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(18213, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTHOOK(2);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(18331, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
ur1 = RTCCL(tr1);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(10638, "set_object", loc1))(loc1, ur1x);
RTHOOK(3);
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(18318, dtype));
ui4_1 = ti4_1;
tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(10470, "field", loc1))(loc1, ui4_1x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
tr1 = RTCCL(tr2);
RTOB(*(EIF_NATURAL_8 *), RTWCT(18332, dtype, Dftype(Current)), tr1, loc2, tb1);
if (tb1) {
RTHOOK(4);
RTDBGAA(Current, dtype, 18332, 0x30000000, 0); /* value */
*(EIF_NATURAL_8 *)(Current + RTWA(18332, dtype)) = (EIF_NATURAL_8) loc2;
} else {
RTHOOK(5);
RTDBGAA(Current, dtype, 18332, 0x30000000, 0); /* value */
tu1_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(18335, dtype))(Current)).it_n1);
*(EIF_NATURAL_8 *)(Current + RTWA(18332, dtype)) = (EIF_NATURAL_8) tu1_1;
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(6);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(4);
RTEE;
#undef up1
#undef ur1
#undef ui4_1
}
/* {FUNCTION}.call */
void F286_6506 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "call";
RTEX;
#define arg1 arg1x.it_r
EIF_BOOLEAN uarg1;
EIF_BOOLEAN uarg;
RTS_SD
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_BOOLEAN tb1;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(3);
RTLR(0,Current);
RTLR(1,arg1);
RTLR(2,ur1);
RTLU (SK_VOID, NULL);
RTLU(SK_REF,&arg1);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 285, Current, 0, 1, 11585);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(285, Current, 11585);
RTCC(arg1, 285, l_feature_name, 1, eif_non_attached_type(RTWCT(4736, dtype, Dftype(Current))));
uarg1 = (EIF_BOOLEAN) RTS_OU (Current, arg1);
uarg = uarg1;
RTIV(Current, RTAL);
if (uarg) {
RTS_SRC (Current);
RTS_RS (Current, arg1);
RTS_RW (Current);
}
RTHOOK(1);
RTCT("valid_operands", EX_PRE);
ur1 = RTCCL(arg1);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(4706, dtype))(Current, ur1x)).it_b);
RTTE(tb1, label_1);
RTCK;
RTJB;
label_1:
RTCF;
body:;
RTHOOK(2);
RTDBGAA(Current, dtype, 4738, 0x04000000, 0); /* last_result */
ur1 = RTCCL(arg1);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(4739, dtype))(Current, ur1x)).it_b);
*(EIF_BOOLEAN *)(Current + RTWA(4738, dtype)) = (EIF_BOOLEAN) tb1;
RTVI(Current, RTAL);
RTRS;
RTHOOK(3);
RTDBGLE;
RTMD(0);
if (uarg) RTS_SRD (Current);
RTLE;
RTLO(3);
RTEE;
#undef ur1
#undef arg1
}
/* {WSF_NINO_SERVICE_LAUNCHER}.initialize */
void F97_7276 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "initialize";
RTEX;
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
EIF_REFERENCE loc2 = (EIF_REFERENCE) 0;
EIF_REFERENCE loc3 = (EIF_REFERENCE) 0;
EIF_INTEGER_32 loc4 = (EIF_INTEGER_32) 0;
EIF_REFERENCE loc5 = (EIF_REFERENCE) 0;
EIF_REFERENCE loc6 = (EIF_REFERENCE) 0;
EIF_BOOLEAN loc7 = (EIF_BOOLEAN) 0;
EIF_REFERENCE loc8 = (EIF_REFERENCE) 0;
EIF_BOOLEAN loc9 = (EIF_BOOLEAN) 0;
EIF_REFERENCE loc10 = (EIF_REFERENCE) 0;
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32};
#define ui4_1 ui4_1x.it_i4
EIF_TYPED_VALUE ub1x = {{0}, SK_BOOL};
#define ub1 ub1x.it_b
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE tr2 = NULL;
EIF_REFERENCE tr3 = NULL;
EIF_REFERENCE tr4 = NULL;
EIF_REFERENCE tr5 = NULL;
EIF_INTEGER_32 ti4_1;
EIF_BOOLEAN tb1;
EIF_BOOLEAN tb2;
RTCFDT;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(14);
RTLR(0,Current);
RTLR(1,tr1);
RTLR(2,loc2);
RTLR(3,loc3);
RTLR(4,ur1);
RTLR(5,tr2);
RTLR(6,loc5);
RTLR(7,loc6);
RTLR(8,loc8);
RTLR(9,loc10);
RTLR(10,loc1);
RTLR(11,tr3);
RTLR(12,tr4);
RTLR(13,tr5);
RTLU (SK_VOID, NULL);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTLU(SK_REF, &loc2);
RTLU(SK_REF, &loc3);
RTLU(SK_INT32, &loc4);
RTLU(SK_REF, &loc5);
RTLU(SK_REF, &loc6);
RTLU(SK_BOOL, &loc7);
RTLU(SK_REF, &loc8);
RTLU(SK_BOOL, &loc9);
RTLU(SK_REF, &loc10);
RTEAA(l_feature_name, 96, Current, 10, 0, 1586);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(96, Current, 1586);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("service_set", EX_PRE);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(7120, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTTE((EIF_BOOLEAN)(tr1 != NULL), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
RTDBGAA(Current, dtype, 7131, 0xF8000215, 0); /* on_launched_actions */
tr1 = RTLNSMART(eif_non_attached_type(RTWCT(7131, dtype, dftype)));
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWC(32, Dtype(tr1)))(tr1);
RTNHOOK(2,1);
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(7131, dtype)) = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(3);
RTDBGAA(Current, dtype, 7132, 0xF8000215, 0); /* on_stopped_actions */
tr1 = RTLNSMART(eif_non_attached_type(RTWCT(7132, dtype, dftype)));
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWC(32, Dtype(tr1)))(tr1);
RTNHOOK(3,1);
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(7132, dtype)) = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(4);
RTDBGAA(Current, dtype, 7135, 0x10000000, 1); /* port_number */
*(EIF_INTEGER_32 *)(Current + RTWA(7135, dtype)) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 80L);
RTHOOK(5);
RTDBGAA(Current, dtype, 7137, 0xF8000181, 0); /* base_url */
tr1 = RTMS_EX_H("",0,0);
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(7137, dtype)) = (EIF_REFERENCE) tr1;
RTHOOK(6);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(7130, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
loc2 = RTCCL(tr1);
if (EIF_TEST(loc2)) {
RTHOOK(7);
tr1 = RTMS_EX_H("server_name",11,666602853);
ur1 = tr1;
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(11861, "option", loc2))(loc2, ur1x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
loc3 = RTCCL(tr1);
loc3 = RTRV(eif_non_attached_type(381),loc3);
if (EIF_TEST(loc3)) {
RTHOOK(8);
RTDBGAA(Current, dtype, 7136, 0xF8000181, 0); /* server_name */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(15623, "to_string_8", loc3))(loc3)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(7136, dtype)) = (EIF_REFERENCE) RTCCL(tr1);
}
RTHOOK(9);
tr2 = RTMS_EX_H("port",4,1886351988);
ur1 = tr2;
tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(11861, "option", loc2))(loc2, ur1x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
tr1 = RTCCL(tr2);
RTOB(*(EIF_INTEGER_32 *), 430, tr1, loc4, tb1);
if (tb1) {
RTHOOK(10);
RTDBGAA(Current, dtype, 7135, 0x10000000, 1); /* port_number */
*(EIF_INTEGER_32 *)(Current + RTWA(7135, dtype)) = (EIF_INTEGER_32) loc4;
} else {
RTHOOK(11);
tb1 = '\0';
tr1 = RTMS_EX_H("port",4,1886351988);
ur1 = tr1;
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(11861, "option", loc2))(loc2, ur1x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
loc5 = RTCCL(tr1);
loc5 = RTRV(eif_non_attached_type(381),loc5);
if (EIF_TEST(loc5)) {
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(15601, "is_integer", loc5))(loc5)).it_b);
tb1 = tb2;
}
if (tb1) {
RTHOOK(12);
RTDBGAA(Current, dtype, 7135, 0x10000000, 1); /* port_number */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(15626, "as_string_8", loc5))(loc5)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(12,1);
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(15635, "to_integer", tr1))(tr1)).it_i4);
*(EIF_INTEGER_32 *)(Current + RTWA(7135, dtype)) = (EIF_INTEGER_32) ti4_1;
}
}
RTHOOK(13);
tr1 = RTMS_EX_H("base",4,1650553701);
ur1 = tr1;
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(11861, "option", loc2))(loc2, ur1x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
loc6 = RTCCL(tr1);
loc6 = RTRV(eif_non_attached_type(381),loc6);
if (EIF_TEST(loc6)) {
RTHOOK(14);
RTDBGAA(Current, dtype, 7137, 0xF8000181, 0); /* base_url */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(15626, "as_string_8", loc6))(loc6)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(7137, dtype)) = (EIF_REFERENCE) RTCCL(tr1);
}
RTHOOK(15);
tr2 = RTMS_EX_H("force_single_threaded",21,1502362724);
ur1 = tr2;
tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(11861, "option", loc2))(loc2, ur1x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
tr1 = RTCCL(tr2);
RTOB(*(EIF_BOOLEAN *), 376, tr1, loc7, tb1);
if (tb1) {
RTHOOK(16);
RTDBGAA(Current, dtype, 7139, 0x04000000, 1); /* single_threaded */
*(EIF_BOOLEAN *)(Current + RTWA(7139, dtype)) = (EIF_BOOLEAN) loc7;
} else {
RTHOOK(17);
tr1 = RTMS_EX_H("force_single_threaded",21,1502362724);
ur1 = tr1;
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(11861, "option", loc2))(loc2, ur1x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
loc8 = RTCCL(tr1);
loc8 = RTRV(eif_non_attached_type(381),loc8);
if (EIF_TEST(loc8)) {
RTHOOK(18);
RTDBGAA(Current, dtype, 7139, 0x04000000, 1); /* single_threaded */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(15631, "as_lower", loc8))(loc8)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(18,1);
tr2 = RTMS_EX_H("true",4,1953658213);
ur1 = tr2;
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(15615, "same_string", tr1))(tr1, ur1x)).it_b);
*(EIF_BOOLEAN *)(Current + RTWA(7139, dtype)) = (EIF_BOOLEAN) tb1;
}
}
RTHOOK(19);
tr2 = RTMS_EX_H("verbose",7,1112830821);
ur1 = tr2;
tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(11861, "option", loc2))(loc2, ur1x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
tr1 = RTCCL(tr2);
RTOB(*(EIF_BOOLEAN *), 376, tr1, loc9, tb1);
if (tb1) {
RTHOOK(20);
RTDBGAA(Current, dtype, 7138, 0x04000000, 1); /* verbose */
*(EIF_BOOLEAN *)(Current + RTWA(7138, dtype)) = (EIF_BOOLEAN) loc9;
} else {
RTHOOK(21);
tr1 = RTMS_EX_H("verbose",7,1112830821);
ur1 = tr1;
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(11861, "option", loc2))(loc2, ur1x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
loc10 = RTCCL(tr1);
loc10 = RTRV(eif_non_attached_type(381),loc10);
if (EIF_TEST(loc10)) {
RTHOOK(22);
RTDBGAA(Current, dtype, 7138, 0x04000000, 1); /* verbose */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(15631, "as_lower", loc10))(loc10)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(22,1);
tr2 = RTMS_EX_H("true",4,1953658213);
ur1 = tr2;
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(15615, "same_string", tr1))(tr1, ur1x)).it_b);
*(EIF_BOOLEAN *)(Current + RTWA(7138, dtype)) = (EIF_BOOLEAN) tb1;
}
}
}
RTHOOK(23);
RTDBGAL(Current, 1, 0xF8000063, 0, 0); /* loc1 */
tr1 = RTLNSMART(eif_non_attached_type(RTWCT(7140, dtype, dftype)));
ur1 = RTCCL(Current);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWC(7143, Dtype(tr1)))(tr1, ur1x);
RTNHOOK(23,1);
loc1 = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(24);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(7151, "on_launched_actions", loc1))(loc1)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(24,1);
{
EIF_TYPE_INDEX typarr0[] = {0xFFF9,1,368,0,0xFFFF};
EIF_TYPE_INDEX typres0;
typarr0[3] = dftype;
typres0 = eif_compound_id(dftype, typarr0);
tr2 = RTLNTS(typres0, 2, 0);
}
((EIF_TYPED_VALUE *)tr2+1)->it_r = Current;
RTAR(tr2,Current);
ui4_1 = ((EIF_INTEGER_32) 1L);
{
static EIF_TYPE_INDEX typarr0[] = {579,430,0xFFFF};
EIF_TYPE_INDEX typres0;
static EIF_TYPE_INDEX typcache0 = INVALID_DTYPE;
typres0 = (typcache0 != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(dftype, typarr0)));
tr4 = RTLNSP2(eif_non_attached_type(typres0),0,ui4_1,sizeof(EIF_INTEGER_32), EIF_TRUE);
RT_SPECIAL_COUNT(tr4) = 1L;
memset(tr4, 0, RT_SPECIAL_VISIBLE_SIZE(tr4));
}
*((EIF_INTEGER_32 *)tr4+0) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 2L);
tr3 = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(17158, Dtype(tr4)))(tr4).it_r;
{
EIF_TYPE_INDEX typarr0[] = {502,0,0xFFF9,1,368,98,0xFFFF};
EIF_TYPE_INDEX typres0;
typarr0[1] = dftype;
typres0 = eif_compound_id(dftype, typarr0);
tr5 = RTLNRW(typres0, 0, (EIF_POINTER) _A97_47_2, (EIF_POINTER)(0),7133, tr3, 0, 1, -1, tr2, 1);
}
ur1 = RTCCL(tr5);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(9646, "extend", tr1))(tr1, ur1x);
RTHOOK(25);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(7152, "on_stopped_actions", loc1))(loc1)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(25,1);
{
EIF_TYPE_INDEX typarr0[] = {0xFFF9,1,368,0,0xFFFF};
EIF_TYPE_INDEX typres0;
typarr0[3] = dftype;
typres0 = eif_compound_id(dftype, typarr0);
tr2 = RTLNTS(typres0, 2, 0);
}
((EIF_TYPED_VALUE *)tr2+1)->it_r = Current;
RTAR(tr2,Current);
ui4_1 = ((EIF_INTEGER_32) 1L);
{
static EIF_TYPE_INDEX typarr0[] = {579,430,0xFFFF};
EIF_TYPE_INDEX typres0;
static EIF_TYPE_INDEX typcache0 = INVALID_DTYPE;
typres0 = (typcache0 != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(dftype, typarr0)));
tr4 = RTLNSP2(eif_non_attached_type(typres0),0,ui4_1,sizeof(EIF_INTEGER_32), EIF_TRUE);
RT_SPECIAL_COUNT(tr4) = 1L;
memset(tr4, 0, RT_SPECIAL_VISIBLE_SIZE(tr4));
}
*((EIF_INTEGER_32 *)tr4+0) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 2L);
tr3 = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(17158, Dtype(tr4)))(tr4).it_r;
{
EIF_TYPE_INDEX typarr0[] = {502,0,0xFFF9,1,368,98,0xFFFF};
EIF_TYPE_INDEX typres0;
typarr0[1] = dftype;
typres0 = eif_compound_id(dftype, typarr0);
tr5 = RTLNRW(typres0, 0, (EIF_POINTER) _A97_48_2, (EIF_POINTER)(0),7134, tr3, 0, 1, -1, tr2, 1);
}
ur1 = RTCCL(tr5);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(9646, "extend", tr1))(tr1, ur1x);
RTHOOK(26);
RTDBGAA(Current, dtype, 7140, 0xF8000063, 0); /* connector */
RTAR(Current, loc1);
*(EIF_REFERENCE *)(Current + RTWA(7140, dtype)) = (EIF_REFERENCE) RTCCL(loc1);
RTHOOK(27);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(7137, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
ur1 = RTCCL(tr1);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(7155, "set_base", loc1))(loc1, ur1x);
RTHOOK(28);
tb1 = *(EIF_BOOLEAN *)(Current + RTWA(7139, dtype));
if (tb1) {
RTHOOK(29);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(7147, "configuration", loc1))(loc1)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(29,1);
ub1 = (EIF_BOOLEAN) 1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(3765, "set_force_single_threaded", tr1))(tr1, ub1x);
}
RTHOOK(30);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(7147, "configuration", loc1))(loc1)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(30,1);
tb1 = *(EIF_BOOLEAN *)(Current + RTWA(7138, dtype));
ub1 = tb1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(3766, "set_is_verbose", tr1))(tr1, ub1x);
if (RTAL & CK_ENSURE) {
RTHOOK(31);
RTCT("connector_attached", EX_POST);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(7140, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
if ((EIF_BOOLEAN)(tr1 != NULL)) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(32);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(12);
RTEE;
#undef up1
#undef ur1
#undef ui4_1
#undef ub1
}
/* {EQA_PARTIAL_RESULT}.make */
void F998_9043 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x, EIF_TYPED_VALUE arg2x, EIF_TYPED_VALUE arg3x)
{
GTCX
char *l_feature_name = "make";
RTEX;
#define arg1 arg1x.it_r
#define arg2 arg2x.it_r
#define arg3 arg3x.it_r
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_REFERENCE tr1 = NULL;
EIF_BOOLEAN tb1;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(6);
RTLR(0,arg1);
RTLR(1,arg2);
RTLR(2,arg3);
RTLR(3,Current);
RTLR(4,tr1);
RTLR(5,ur1);
RTLIU(6);
RTLU (SK_VOID, NULL);
RTLU(SK_REF,&arg1);
RTLU(SK_REF,&arg2);
RTLU(SK_REF,&arg3);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 997, Current, 0, 3, 14459);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(997, Current, 14459);
RTCC(arg1, 997, l_feature_name, 1, RTWCT(6585, dtype, Dftype(Current)), 0x00);
RTCC(arg2, 997, l_feature_name, 2, RTWCT(6588, dtype, Dftype(Current)), 0x01);
RTCC(arg3, 997, l_feature_name, 3, eif_new_type(218, 0x01), 0x01);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("a_setup_response_attached", EX_PRE);
RTTE((EIF_BOOLEAN)(arg2 != NULL), label_1);
RTCK;
RTHOOK(2);
RTCT("an_output_attached", EX_PRE);
RTTE((EIF_BOOLEAN)(arg3 != NULL), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(3);
RTDBGAA(Current, dtype, 6585, 0xF80003F2, 0); /* start_date */
RTAR(Current, arg1);
*(EIF_REFERENCE *)(Current + RTWA(6585, dtype)) = (EIF_REFERENCE) RTCCL(arg1);
RTHOOK(4);
RTDBGAA(Current, dtype, 6588, 0xF8000394, 0); /* setup_response */
RTAR(Current, arg2);
*(EIF_REFERENCE *)(Current + RTWA(6588, dtype)) = (EIF_REFERENCE) RTCCL(arg2);
RTHOOK(5);
RTDBGAA(Current, dtype, 6589, 0xF80000E4, 0); /* output */
tr1 = RTLNSMART(RTWCT(6589, dtype, Dftype(Current)).id);
ur1 = RTCCL(arg3);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWC(4439, Dtype(tr1)))(tr1, ur1x);
RTNHOOK(5,1);
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(6589, dtype)) = (EIF_REFERENCE) tr1;
RTHOOK(6);
RTDBGAA(Current, dtype, 6586, 0xF80003F2, 0); /* finish_date */
tr1 = RTLNSMART(RTWCT(6586, dtype, Dftype(Current)).id);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWC(6776, Dtype(tr1)))(tr1);
RTNHOOK(6,1);
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(6586, dtype)) = (EIF_REFERENCE) RTCCL(tr1);
if (RTAL & CK_ENSURE) {
RTHOOK(7);
RTCT("start_date_set", EX_POST);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6585, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
if (RTCEQ(tr1, arg1)) {
RTCK;
} else {
RTCF;
}
RTHOOK(8);
RTCT("setup_response_set", EX_POST);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6588, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
if (RTCEQ(tr1, arg2)) {
RTCK;
} else {
RTCF;
}
RTHOOK(9);
RTCT("output_set", EX_POST);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6589, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(9,1);
ur1 = RTCCL(arg3);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4454, "same_string", tr1))(tr1, ur1x)).it_b);
if (tb1) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(10);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(5);
RTEE;
#undef up1
#undef ur1
#undef arg3
#undef arg2
#undef arg1
}
/* {FUNCTION}.apply */
void F286_6508 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "apply";
RTEX;
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_REFERENCE tr1 = NULL;
EIF_BOOLEAN tb1;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(3);
RTLR(0,Current);
RTLR(1,tr1);
RTLR(2,ur1);
RTLU (SK_VOID, NULL);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 285, Current, 0, 0, 11587);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(285, Current, 11587);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("valid_operands", EX_PRE);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4700, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
ur1 = RTCCL(tr1);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(4706, dtype))(Current, ur1x)).it_b);
RTTE(tb1, label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
RTDBGAA(Current, dtype, 4738, 0x04000000, 0); /* last_result */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(4700, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
ur1 = RTCCL(tr1);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(4739, dtype))(Current, ur1x)).it_b);
*(EIF_BOOLEAN *)(Current + RTWA(4738, dtype)) = (EIF_BOOLEAN) tb1;
RTVI(Current, RTAL);
RTRS;
RTHOOK(3);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(2);
RTEE;
#undef up1
#undef ur1
}
/* {TO_SPECIAL}.make_empty_area */
void F252_1853 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "make_empty_area";
RTEX;
#define arg1 arg1x.it_i4
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_INTEGER_32 ti4_1;
RTCDT;
RTSN;
RTDA;
RTLD;
if ((arg1x.type & SK_HEAD) == SK_REF) arg1x.it_i4 = * (EIF_INTEGER_32 *) arg1x.it_r;
RTLI(2);
RTLR(0,Current);
RTLR(1,tr1);
RTLU (SK_VOID, NULL);
RTLU(SK_INT32,&arg1);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 251, Current, 0, 1, 2369);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(251, Current, 2369);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("non_negative_argument", EX_PRE);
RTTE((EIF_BOOLEAN) (arg1 >= ((EIF_INTEGER_32) 0L)), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
RTDBGAA(Current, dtype, 1557, 0xF80000FC, 0); /* area */
ui4_1 = arg1;
if (ui4_1< 0) {
eraise ("non_negative_argument", EN_RT_CHECK);
}
tr1 = RTLNSP2(eif_non_attached_type(RTWCT(1557, dtype, Dftype(Current))),0,ui4_1,sizeof(EIF_POINTER), EIF_TRUE);
RT_SPECIAL_COUNT(tr1) = 0;
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(1557, dtype)) = (EIF_REFERENCE) tr1;
if (RTAL & CK_ENSURE) {
RTHOOK(3);
RTCT("area_allocated", EX_POST);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1557, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
if ((EIF_BOOLEAN)(tr1 != NULL)) {
RTCK;
} else {
RTCF;
}
RTHOOK(4);
RTCT("capacity_set", EX_POST);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1557, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(4,1);
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(1625, "capacity", tr1))(tr1)).it_i4);
if ((EIF_BOOLEAN)(ti4_1 == arg1)) {
RTCK;
} else {
RTCF;
}
RTHOOK(5);
RTCT("count_set", EX_POST);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1557, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(5,1);
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(1624, "count", tr1))(tr1)).it_i4);
if ((EIF_BOOLEAN)(ti4_1 == ((EIF_INTEGER_32) 0L))) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(6);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(3);
RTEE;
#undef up1
#undef ui4_1
#undef arg1
}
/* {RT_DBG_FIELD_RECORD}.make */
void F703_7278 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x, EIF_TYPED_VALUE arg2x, EIF_TYPED_VALUE arg3x, EIF_TYPED_VALUE arg4x)
{
GTCX
char *l_feature_name = "make";
RTEX;
#define arg1 arg1x.it_r
#define arg2 arg2x.it_i4
#define arg3 arg3x.it_i4
#define arg4 arg4x.it_p
RTCDT;
RTSN;
RTDA;
RTLD;
if ((arg4x.type & SK_HEAD) == SK_REF) arg4x.it_p = * (EIF_POINTER *) arg4x.it_r;
if ((arg3x.type & SK_HEAD) == SK_REF) arg3x.it_i4 = * (EIF_INTEGER_32 *) arg3x.it_r;
if ((arg2x.type & SK_HEAD) == SK_REF) arg2x.it_i4 = * (EIF_INTEGER_32 *) arg2x.it_r;
RTLI(2);
RTLR(0,arg1);
RTLR(1,Current);
RTLU (SK_VOID, NULL);
RTLU(SK_REF,&arg1);
RTLU(SK_INT32,&arg2);
RTLU(SK_INT32,&arg3);
RTLU(SK_POINTER,&arg4);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 702, Current, 0, 4, 12680);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(702, Current, 12680);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("obj_attached", EX_PRE);
RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
RTDBGAA(Current, dtype, 5285, 0xF8000000, 0); /* object */
RTAR(Current, arg1);
*(EIF_REFERENCE *)(Current + RTWA(5285, dtype)) = (EIF_REFERENCE) RTCCL(arg1);
RTHOOK(3);
RTDBGAA(Current, dtype, 5262, 0x10000000, 1); /* index */
*(EIF_INTEGER_32 *)(Current + RTWA(5262, dtype)) = (EIF_INTEGER_32) arg2;
RTHOOK(4);
RTDBGAA(Current, dtype, 5263, 0x10000000, 1); /* type */
*(EIF_INTEGER_32 *)(Current + RTWA(5263, dtype)) = (EIF_INTEGER_32) arg3;
RTHOOK(5);
RTDBGAA(Current, dtype, 5286, 0x40000000, 0); /* value */
*(EIF_POINTER *)(Current + RTWA(5286, dtype)) = (EIF_POINTER) arg4;
RTVI(Current, RTAL);
RTRS;
RTHOOK(6);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(6);
RTEE;
#undef arg4
#undef arg3
#undef arg2
#undef arg1
}
/* {RT_DBG_FIELD_RECORD}.get_value */
void F703_7286 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "get_value";
RTEX;
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
EIF_POINTER loc2 = (EIF_POINTER) 0;
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32};
#define ui4_1 ui4_1x.it_i4
EIF_POINTER tp1;
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE tr2 = NULL;
EIF_INTEGER_32 ti4_1;
EIF_BOOLEAN tb1;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(5);
RTLR(0,loc1);
RTLR(1,Current);
RTLR(2,tr1);
RTLR(3,ur1);
RTLR(4,tr2);
RTLU (SK_VOID, NULL);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTLU(SK_POINTER, &loc2);
RTEAA(l_feature_name, 702, Current, 2, 0, 12673);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(702, Current, 12673);
RTIV(Current, RTAL);
RTHOOK(1);
RTDBGAL(Current, 1, 0xF80000AD, 0, 0); /* loc1 */
loc1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5157, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTHOOK(2);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5285, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
ur1 = RTCCL(tr1);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(2515, "set_object", loc1))(loc1, ur1x);
RTHOOK(3);
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(5262, dtype));
ui4_1 = ti4_1;
tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(2441, "field", loc1))(loc1, ui4_1x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
tr1 = RTCCL(tr2);
RTOB(*(EIF_POINTER *), RTWCT(5286, dtype, Dftype(Current)), tr1, loc2, tb1);
if (tb1) {
RTHOOK(4);
RTDBGAA(Current, dtype, 5286, 0x40000000, 0); /* value */
*(EIF_POINTER *)(Current + RTWA(5286, dtype)) = (EIF_POINTER) loc2;
} else {
RTHOOK(5);
RTDBGAA(Current, dtype, 5286, 0x40000000, 0); /* value */
tp1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5289, dtype))(Current)).it_p);
*(EIF_POINTER *)(Current + RTWA(5286, dtype)) = (EIF_POINTER) tp1;
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(6);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(4);
RTEE;
#undef up1
#undef ur1
#undef ui4_1
}
/* {EQA_SYSTEM_TEST_SET}.prepare_system */
void F937_7982 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "prepare_system";
RTEX;
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
EIF_REFERENCE loc2 = (EIF_REFERENCE) 0;
EIF_REFERENCE loc3 = (EIF_REFERENCE) 0;
EIF_REFERENCE loc4 = (EIF_REFERENCE) 0;
EIF_REFERENCE loc5 = (EIF_REFERENCE) 0;
#define arg1 arg1x.it_r
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32};
#define ui4_1 ui4_1x.it_i4
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE tr2 = NULL;
EIF_REFERENCE tr3 = NULL;
EIF_REFERENCE tr4 = NULL;
EIF_REFERENCE tr5 = NULL;
EIF_BOOLEAN tb1;
EIF_BOOLEAN tb2;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(13);
RTLR(0,arg1);
RTLR(1,tr1);
RTLR(2,tr2);
RTLR(3,loc1);
RTLR(4,Current);
RTLR(5,tr3);
RTLR(6,ur1);
RTLR(7,loc2);
RTLR(8,tr4);
RTLR(9,loc3);
RTLR(10,loc4);
RTLR(11,loc5);
RTLR(12,tr5);
RTLIU(13);
RTLU (SK_VOID, NULL);
RTLU(SK_REF,&arg1);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTLU(SK_REF, &loc2);
RTLU(SK_REF, &loc3);
RTLU(SK_REF, &loc4);
RTLU(SK_REF, &loc5);
RTEAA(l_feature_name, 936, Current, 5, 1, 13441);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(936, Current, 13441);
RTCC(arg1, 936, l_feature_name, 1, eif_new_type(912, 0x01), 0x01);
RTIV(Current, RTAL);
if (RTAL & CK_ENSURE) {
in_assertion = ~0;
RTE_OT
tr1 = arg1;
tr2 = NULL;
RTE_O
tr2 = RTLA;
RTE_OE
in_assertion = 0;
}
RTHOOK(1);
RTDBGAL(Current, 1, 0xF80003A2, 0, 0); /* loc1 */
tr3 = RTLNSMART(RTWCT(5742, dtype, Dftype(Current)).id);
ur1 = RTCCL(Current);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWC(5689, Dtype(tr3)))(tr3, ur1x);
RTNHOOK(1,1);
loc1 = (EIF_REFERENCE) RTCCL(tr3);
RTHOOK(2);
ur1 = RTCCL(arg1);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(5666, "set_output_path", loc1))(loc1, ur1x);
RTHOOK(3);
RTDBGAA(Current, dtype, 5742, 0xF80003A2, 0); /* current_execution */
RTAR(Current, loc1);
*(EIF_REFERENCE *)(Current + RTWA(5742, dtype)) = (EIF_REFERENCE) RTCCL(loc1);
if (RTAL & CK_ENSURE) {
RTHOOK(4);
RTCT("current_execution_attached", EX_POST);
tr3 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5742, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
if ((EIF_BOOLEAN)(tr3 != NULL)) {
RTCK;
} else {
RTCF;
}
RTHOOK(5);
RTCT("current_execution_uses_environment", EX_POST);
tb1 = '\0';
tr3 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5742, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
loc2 = RTCCL(tr3);
if (EIF_TEST(loc2)) {
tr3 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(5650, "test_set", loc2))(loc2)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(5,1);
tr4 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(5726, "environment", tr3))(tr3)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
tr3 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5726, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
tb1 = RTCEQ(tr4, tr3);
}
if (tb1) {
RTCK;
} else {
RTCF;
}
RTHOOK(6);
RTCT("current_execution_not_launched", EX_POST);
tb1 = '\0';
tr3 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5742, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
loc3 = RTCCL(tr3);
if (EIF_TEST(loc3)) {
tb2 = *(EIF_BOOLEAN *)(loc3 + RTVA(5663, "is_launched", loc3));
tb1 = (EIF_BOOLEAN) !tb2;
}
if (tb1) {
RTCK;
} else {
RTCF;
}
RTHOOK(7);
RTCT("current_execution_uses_valid_output", EX_POST);
tb1 = '\0';
tb2 = '\0';
tr3 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5742, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
loc4 = RTCCL(tr3);
if (EIF_TEST(loc4)) {
tr3 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(5653, "output_file_name", loc4))(loc4)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
loc5 = tr3;
tb2 = EIF_TEST(loc5);
}
if (tb2) {
tr3 = RTLN(eif_new_type(912, 0x01).id);
ui4_1 = ((EIF_INTEGER_32) 1L);
{
static EIF_TYPE_INDEX typarr0[] = {243,0xFF01,229,0xFFFF};
EIF_TYPE typres0;
static EIF_TYPE typcache0 = {INVALID_DTYPE, 0};
typres0 = (typcache0.id != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(Dftype(Current), typarr0)));
tr5 = RTLNSP2(typres0.id,EO_REF,ui4_1,sizeof(EIF_REFERENCE), EIF_FALSE);
RT_SPECIAL_COUNT(tr5) = 1L;
memset(tr5, 0, RT_SPECIAL_VISIBLE_SIZE(tr5));
}
*((EIF_REFERENCE *)tr5+0) = (EIF_REFERENCE) loc5;
RTAR(tr5,loc5);
tr4 = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2403, Dtype(tr5)))(tr5).it_r;
ur1 = RTCCL(tr4);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWC(5376, Dtype(tr3)))(tr3, ur1x);
RTNHOOK(7,1);
RTCO(tr2);
tb1 = RTEQ(tr3, tr1);
}
if (tb1) {
RTCK;
} else {
RTCF;
}
}
/* {LINKED_QUEUE}.force */
void F438_3583 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "force";
RTEX;
#define arg1 arg1x.it_r
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE tr2 = NULL;
EIF_REFERENCE tr3 = NULL;
EIF_INTEGER_32 ti4_1;
EIF_INTEGER_32 ti4_2;
EIF_BOOLEAN tb1;
EIF_BOOLEAN tb2;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(6);
RTLR(0,arg1);
RTLR(1,Current);
RTLR(2,tr1);
RTLR(3,tr2);
RTLR(4,ur1);
RTLR(5,tr3);
RTLU (SK_VOID, NULL);
RTLU(SK_REF,&arg1);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 437, Current, 0, 1, 5120);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(437, Current, 5120);
RTCC(arg1, 437, l_feature_name, 1, RTWCT(1943, dtype, Dftype(Current)));
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("extendible", EX_PRE);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1944, dtype))(Current)).it_b);
RTTE(tb1, label_1);
RTCK;
RTJB;
label_1:
RTCK;
RTHOOK(2);
RTCT("extendible", EX_PRE);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1944, dtype))(Current)).it_b);
RTTE(tb1, label_2);
RTCK;
RTJB;
label_2:
RTCF;
}
body:;
if (RTAL & CK_ENSURE) {
in_assertion = ~0;
RTE_OT
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1936, dtype))(Current)).it_b);
tb1 = tb2;
tr1 = NULL;
RTE_O
tr1 = RTLA;
RTE_OE
RTE_OT
ti4_2 = *(EIF_INTEGER_32 *)(Current + RTWA(2773, dtype));
ti4_1 = ti4_2;
tr2 = NULL;
RTE_O
tr2 = RTLA;
RTE_OE
in_assertion = 0;
}
RTHOOK(3);
ur1 = RTCCL(arg1);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(2707, dtype))(Current, ur1x);
RTHOOK(4);
RTDBGAA(Current, dtype, 2771, 0x04000000, 1); /* before */
*(EIF_BOOLEAN *)(Current + RTWA(2771, dtype)) = (EIF_BOOLEAN) (EIF_BOOLEAN) 0;
RTHOOK(5);
RTDBGAA(Current, dtype, 2772, 0x04000000, 1); /* after */
*(EIF_BOOLEAN *)(Current + RTWA(2772, dtype)) = (EIF_BOOLEAN) (EIF_BOOLEAN) 1;
if (RTAL & CK_ENSURE) {
RTHOOK(6);
RTCT("item_inserted", EX_POST);
ur1 = RTCCL(arg1);
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(1946, dtype))(Current, ur1x)).it_b);
if (tb2) {
RTCK;
} else {
RTCF;
}
RTHOOK(7);
RTCT("new_count", EX_POST);
ti4_2 = *(EIF_INTEGER_32 *)(Current + RTWA(2773, dtype));
RTCO(tr2);
if ((EIF_BOOLEAN)(ti4_2 == (EIF_INTEGER_32) (ti4_1 + ((EIF_INTEGER_32) 1L)))) {
RTCK;
} else {
RTCF;
}
RTHOOK(8);
RTCT("item_inserted", EX_POST);
ur1 = RTCCL(arg1);
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(1935, dtype))(Current, ur1x)).it_b);
if (tb2) {
RTCK;
} else {
RTCF;
}
RTHOOK(9);
RTCT("single_item_constraint", EX_POST);
tb2 = '\01';
RTCO(tr1);
if (tb1) {
tr3 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1984, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
tb2 = RTCEQ(tr3, arg1);
}
if (tb2) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(10);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(3);
RTEE;
#undef up1
#undef ur1
#undef arg1
}
/* {EQA_SYSTEM_TEST_SET}.run_system */
void F937_7983 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "run_system";
RTEX;
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
EIF_REFERENCE loc2 = (EIF_REFERENCE) 0;
EIF_REFERENCE loc3 = (EIF_REFERENCE) 0;
#define arg1 arg1x.it_r
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32};
#define ui4_1 ui4_1x.it_i4
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE tr2 = NULL;
EIF_REFERENCE tr3 = NULL;
EIF_REFERENCE tr4 = NULL;
EIF_REFERENCE tr5 = NULL;
EIF_REFERENCE tr6 = NULL;
EIF_BOOLEAN tb1;
EIF_BOOLEAN tb2;
EIF_BOOLEAN tb3;
RTCFDT;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(12);
RTLR(0,arg1);
RTLR(1,Current);
RTLR(2,tr1);
RTLR(3,loc1);
RTLR(4,tr2);
RTLR(5,loc2);
RTLR(6,tr3);
RTLR(7,tr4);
RTLR(8,tr5);
RTLR(9,tr6);
RTLR(10,ur1);
RTLR(11,loc3);
RTLIU(12);
RTLU (SK_VOID, NULL);
RTLU(SK_REF,&arg1);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTLU(SK_REF, &loc2);
RTLU(SK_REF, &loc3);
RTEAA(l_feature_name, 936, Current, 3, 1, 13442);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(936, Current, 13442);
{
static EIF_TYPE_INDEX typarr0[] = {0xFF01,250,0xFF01,220,0xFFFF};
EIF_TYPE typres0;
static EIF_TYPE typcache0 = {INVALID_DTYPE, 0};
typres0 = (typcache0.id != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(dftype, typarr0)));
RTCC(arg1, 936, l_feature_name, 1, typres0, 0x01);
}
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("current_execution_attached", EX_PRE);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5742, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTTE((EIF_BOOLEAN)(tr1 != NULL), label_1);
RTCK;
RTHOOK(2);
RTCT("current_execution_not_launched", EX_PRE);
tb1 = '\0';
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5742, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
loc1 = RTCCL(tr1);
if (EIF_TEST(loc1)) {
tb2 = *(EIF_BOOLEAN *)(loc1 + RTVA(5663, "is_launched", loc1));
tb1 = (EIF_BOOLEAN) !tb2;
}
RTTE(tb1, label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
if (RTAL & CK_ENSURE) {
in_assertion = ~0;
RTE_OT
tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5742, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
tr1 = tr2;
tr2 = NULL;
RTE_O
tr2 = RTLA;
RTE_OE
in_assertion = 0;
}
RTHOOK(3);
RTCT0(NULL, EX_CHECK);
tr3 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5742, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
loc2 = RTCCL(tr3);
if (EIF_TEST(loc2)) {
RTCK0;
} else {
RTCF0;
}
RTHOOK(4);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(5681, "clear_argument", loc2))(loc2);
RTHOOK(5);
{
static EIF_TYPE_INDEX typarr0[] = {0xFFF9,2,174,0xFF01,0,0xFF01,0,0,0xFFFF};
EIF_TYPE typres0;
typarr0[4] = dftype;
{
EIF_TYPE l_type;
l_type = RTWCT(5742, dtype, dftype);
typarr0[6] = l_type.annotations | 0xFF00;
typarr0[7] = l_type.id;
}
typres0 = eif_compound_id(dftype, typarr0);
tr3 = RTLNTS(typres0.id, 3, 0);
}
((EIF_TYPED_VALUE *)tr3+1)->it_r = Current;
RTAR(tr3,Current);
((EIF_TYPED_VALUE *)tr3+2)->it_r = loc2;
RTAR(tr3,loc2);
ui4_1 = ((EIF_INTEGER_32) 1L);
{
static EIF_TYPE_INDEX typarr0[] = {279,206,0xFFFF};
EIF_TYPE typres0;
static EIF_TYPE typcache0 = {INVALID_DTYPE, 0};
typres0 = (typcache0.id != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(dftype, typarr0)));
tr5 = RTLNSP2(typres0.id,0,ui4_1,sizeof(EIF_INTEGER_32), EIF_TRUE);
RT_SPECIAL_COUNT(tr5) = 1L;
memset(tr5, 0, RT_SPECIAL_VISIBLE_SIZE(tr5));
}
*((EIF_INTEGER_32 *)tr5+0) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 2L);
tr4 = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2403, Dtype(tr5)))(tr5).it_r;
{
static EIF_TYPE_INDEX typarr0[] = {0xFF01,238,0xFF01,0,0xFF01,0xFFF9,1,174,0xFF01,220,0xFFFF};
EIF_TYPE typres0;
typarr0[3] = dftype;
typres0 = eif_compound_id(dftype, typarr0);
tr6 = RTLNRW(typres0.id, 0, (EIF_POINTER) _A937_58_2, (EIF_POINTER)(0),6949, tr4, 0, 1, 936, tr3, 1);
}
ur1 = RTCCL(tr6);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(2627, "do_all", arg1))(arg1, ur1x);
RTHOOK(6);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(5677, "launch", loc2))(loc2);
RTHOOK(7);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(5679, "process_output_until_exit", loc2))(loc2);
RTHOOK(8);
RTDBGAA(Current, dtype, 5742, 0xF80003A2, 0); /* current_execution */
RTAR(Current, loc2);
*(EIF_REFERENCE *)(Current + RTWA(5742, dtype)) = (EIF_REFERENCE) RTCCL(loc2);
if (RTAL & CK_ENSURE) {
RTHOOK(9);
RTCT("current_execution_unchanged", EX_POST);
tr3 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5742, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTCO(tr2);
if (RTCEQ(tr3, tr1)) {
RTCK;
} else {
RTCF;
}
RTHOOK(10);
RTCT("current_execution_exited", EX_POST);
tb1 = '\0';
tb2 = '\0';
tr3 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5742, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
loc3 = RTCCL(tr3);
if (EIF_TEST(loc3)) {
tb3 = *(EIF_BOOLEAN *)(loc3 + RTVA(5663, "is_launched", loc3));
tb2 = tb3;
}
if (tb2) {
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(5664, "has_exited", loc3))(loc3)).it_b);
tb1 = tb2;
}
if (tb1) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(11);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(6);
RTEE;
#undef up1
#undef ur1
#undef ui4_1
#undef arg1
}
/* {INTEGER_OVERFLOW_CHECKER}.make */
void F64_1073 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "make";
RTEX;
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE uu8_1x = {{0}, SK_UINT64};
#define uu8_1 uu8_1x.it_n8
EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32};
#define ui4_1 ui4_1x.it_i4
EIF_TYPED_VALUE ui4_2x = {{0}, SK_INT32};
#define ui4_2 ui4_2x.it_i4
EIF_TYPED_VALUE ui4_3x = {{0}, SK_INT32};
#define ui4_3 ui4_3x.it_i4
EIF_TYPED_VALUE ui4_4x = {{0}, SK_INT32};
#define ui4_4 ui4_4x.it_i4
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE tr2 = NULL;
EIF_INTEGER_64 ti8_1;
EIF_INTEGER_64 ti8_2;
EIF_NATURAL_64 tu8_1;
EIF_NATURAL_64 tu8_2;
EIF_NATURAL_64 tu8_3;
EIF_INTEGER_32 ti4_1;
EIF_INTEGER_32 ti4_2;
EIF_INTEGER_32 ti4_3;
EIF_INTEGER_32 ti4_4;
EIF_NATURAL_32 tu4_1;
EIF_NATURAL_32 tu4_2;
EIF_INTEGER_16 ti2_1;
EIF_INTEGER_16 ti2_2;
EIF_NATURAL_16 tu2_1;
EIF_NATURAL_16 tu2_2;
EIF_INTEGER_8 ti1_1;
EIF_INTEGER_8 ti1_2;
EIF_NATURAL_8 tu1_1;
EIF_NATURAL_8 tu1_2;
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, 63, Current, 0, 0, 1136);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(63, Current, 1136);
RTIV(Current, RTAL);
RTHOOK(1);
RTDBGAA(Current, dtype, 1026, 0xF80001BD, 0); /* integer_overflow_state1 */
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1003, dtype))(Current)).it_i4);
ui4_1 = (EIF_INTEGER_32) ((EIF_INTEGER_32) (ti4_1 * ((EIF_INTEGER_32) 2L)) + ((EIF_INTEGER_32) 1L));
if (ui4_1< 0) {
eraise ("non_negative_argument", EN_RT_CHECK);
}
tr1 = RTLNSP2(eif_non_attached_type(RTWCT(1026, dtype, Dftype(Current))),0,ui4_1,sizeof(EIF_NATURAL_64), EIF_TRUE);
RT_SPECIAL_COUNT(tr1) = 0;
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(1026, dtype)) = (EIF_REFERENCE) tr1;
RTHOOK(2);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1026, 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);
tu8_1 = (EIF_NATURAL_64) ((EIF_INTEGER_32) 0L);
uu8_1 = tu8_1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(2604, "extend", tr1))(tr1, uu8_1x);
RTHOOK(3);
RTDBGAA(Current, dtype, 1027, 0xF80001BD, 0); /* integer_overflow_state2 */
ti4_2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1003, dtype))(Current)).it_i4);
ui4_2 = (EIF_INTEGER_32) ((EIF_INTEGER_32) (ti4_2 * ((EIF_INTEGER_32) 2L)) + ((EIF_INTEGER_32) 1L));
if (ui4_2< 0) {
eraise ("non_negative_argument", EN_RT_CHECK);
}
tr1 = RTLNSP2(eif_non_attached_type(RTWCT(1027, dtype, Dftype(Current))),0,ui4_2,sizeof(EIF_NATURAL_64), EIF_TRUE);
RT_SPECIAL_COUNT(tr1) = 0;
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(1027, dtype)) = (EIF_REFERENCE) tr1;
RTHOOK(4);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1027, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(4,1);
tu8_1 = (EIF_NATURAL_64) ((EIF_INTEGER_32) 0L);
uu8_1 = tu8_1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(2604, "extend", tr1))(tr1, uu8_1x);
RTHOOK(5);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1026, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(5,1);
ti1_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(3210, 185))(Current)).it_i1);
ti1_2 = (EIF_INTEGER_8) ((EIF_INTEGER_32) 10L);
tu8_1 = (EIF_NATURAL_64) (EIF_INTEGER_8) (ti1_1 / ti1_2);
uu8_1 = tu8_1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(2604, "extend", tr1))(tr1, uu8_1x);
RTHOOK(6);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1027, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(6,1);
ti1_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(3210, 185))(Current)).it_i1);
ti1_2 = (EIF_INTEGER_8) ((EIF_INTEGER_32) 10L);
tu8_1 = (EIF_NATURAL_64) (EIF_INTEGER_8) (ti1_1 % ti1_2);
uu8_1 = tu8_1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(2604, "extend", tr1))(tr1, uu8_1x);
RTHOOK(7);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1026, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(7,1);
ti2_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(3158, 182))(Current)).it_i2);
ti2_2 = (EIF_INTEGER_16) ((EIF_INTEGER_32) 10L);
tu8_1 = (EIF_NATURAL_64) (EIF_INTEGER_16) (ti2_1 / ti2_2);
uu8_1 = tu8_1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(2604, "extend", tr1))(tr1, uu8_1x);
RTHOOK(8);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1027, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(8,1);
ti2_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(3158, 182))(Current)).it_i2);
ti2_2 = (EIF_INTEGER_16) ((EIF_INTEGER_32) 10L);
tu8_1 = (EIF_NATURAL_64) (EIF_INTEGER_16) (ti2_1 % ti2_2);
uu8_1 = tu8_1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(2604, "extend", tr1))(tr1, uu8_1x);
RTHOOK(9);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1026, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(9,1);
ti4_3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(3106, 179))(Current)).it_i4);
tu8_1 = (EIF_NATURAL_64) (EIF_INTEGER_32) (ti4_3 / ((EIF_INTEGER_32) 10L));
uu8_1 = tu8_1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(2604, "extend", tr1))(tr1, uu8_1x);
RTHOOK(10);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1027, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(10,1);
ti4_3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(3106, 179))(Current)).it_i4);
tu8_1 = (EIF_NATURAL_64) (EIF_INTEGER_32) (ti4_3 % ((EIF_INTEGER_32) 10L));
uu8_1 = tu8_1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(2604, "extend", tr1))(tr1, uu8_1x);
RTHOOK(11);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1026, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(11,1);
ti8_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(3456, 200))(Current)).it_i8);
ti8_2 = (EIF_INTEGER_64) ((EIF_INTEGER_32) 10L);
tu8_1 = (EIF_NATURAL_64) (EIF_INTEGER_64) (ti8_1 / ti8_2);
uu8_1 = tu8_1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(2604, "extend", tr1))(tr1, uu8_1x);
RTHOOK(12);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1027, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(12,1);
ti8_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(3456, 200))(Current)).it_i8);
ti8_2 = (EIF_INTEGER_64) ((EIF_INTEGER_32) 10L);
tu8_1 = (EIF_NATURAL_64) (EIF_INTEGER_64) (ti8_1 % ti8_2);
uu8_1 = tu8_1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(2604, "extend", tr1))(tr1, uu8_1x);
RTHOOK(13);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1026, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(13,1);
ti1_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(3209, 185))(Current)).it_i1);
ti1_2 = (EIF_INTEGER_8) ((EIF_INTEGER_32) 10L);
tu8_1 = (EIF_NATURAL_64) ((EIF_INTEGER_8) -(EIF_INTEGER_8) (ti1_1 / ti1_2));
uu8_1 = tu8_1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(2604, "extend", tr1))(tr1, uu8_1x);
RTHOOK(14);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1027, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(14,1);
ti1_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(3209, 185))(Current)).it_i1);
ti1_2 = (EIF_INTEGER_8) ((EIF_INTEGER_32) 10L);
tu8_1 = (EIF_NATURAL_64) ((EIF_INTEGER_8) -(EIF_INTEGER_8) (ti1_1 % ti1_2));
uu8_1 = tu8_1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(2604, "extend", tr1))(tr1, uu8_1x);
RTHOOK(15);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1026, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(15,1);
ti2_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(3157, 182))(Current)).it_i2);
ti2_2 = (EIF_INTEGER_16) ((EIF_INTEGER_32) 10L);
tu8_1 = (EIF_NATURAL_64) ((EIF_INTEGER_16) -(EIF_INTEGER_16) (ti2_1 / ti2_2));
uu8_1 = tu8_1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(2604, "extend", tr1))(tr1, uu8_1x);
RTHOOK(16);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1027, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(16,1);
ti2_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(3157, 182))(Current)).it_i2);
ti2_2 = (EIF_INTEGER_16) ((EIF_INTEGER_32) 10L);
tu8_1 = (EIF_NATURAL_64) ((EIF_INTEGER_16) -(EIF_INTEGER_16) (ti2_1 % ti2_2));
uu8_1 = tu8_1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(2604, "extend", tr1))(tr1, uu8_1x);
RTHOOK(17);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1026, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(17,1);
ti4_3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(3105, 179))(Current)).it_i4);
tu8_1 = (EIF_NATURAL_64) ((EIF_INTEGER_32) -(EIF_INTEGER_32) (ti4_3 / ((EIF_INTEGER_32) 10L)));
uu8_1 = tu8_1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(2604, "extend", tr1))(tr1, uu8_1x);
RTHOOK(18);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1027, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(18,1);
ti4_3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(3105, 179))(Current)).it_i4);
tu8_1 = (EIF_NATURAL_64) ((EIF_INTEGER_32) -(EIF_INTEGER_32) (ti4_3 % ((EIF_INTEGER_32) 10L)));
uu8_1 = tu8_1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(2604, "extend", tr1))(tr1, uu8_1x);
RTHOOK(19);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1026, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(19,1);
ti8_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(3455, 200))(Current)).it_i8);
ti8_2 = (EIF_INTEGER_64) ((EIF_INTEGER_32) 10L);
tu8_1 = (EIF_NATURAL_64) ((EIF_INTEGER_64) -(EIF_INTEGER_64) (ti8_1 / ti8_2));
uu8_1 = tu8_1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(2604, "extend", tr1))(tr1, uu8_1x);
RTHOOK(20);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1027, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(20,1);
ti8_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(3455, 200))(Current)).it_i8);
ti8_2 = (EIF_INTEGER_64) ((EIF_INTEGER_32) 10L);
tu8_1 = (EIF_NATURAL_64) ((EIF_INTEGER_64) -(EIF_INTEGER_64) (ti8_1 % ti8_2));
uu8_1 = tu8_1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(2604, "extend", tr1))(tr1, uu8_1x);
RTHOOK(21);
RTDBGAA(Current, dtype, 1028, 0xF80001BD, 0); /* natural_overflow_state1 */
ti4_3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1003, dtype))(Current)).it_i4);
ui4_3 = (EIF_INTEGER_32) (ti4_3 + ((EIF_INTEGER_32) 1L));
if (ui4_3< 0) {
eraise ("non_negative_argument", EN_RT_CHECK);
}
tr1 = RTLNSP2(eif_non_attached_type(RTWCT(1028, dtype, Dftype(Current))),0,ui4_3,sizeof(EIF_NATURAL_64), EIF_TRUE);
RT_SPECIAL_COUNT(tr1) = 0;
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(1028, dtype)) = (EIF_REFERENCE) tr1;
RTHOOK(22);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1028, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(22,1);
tu8_1 = (EIF_NATURAL_64) ((EIF_INTEGER_32) 0L);
uu8_1 = tu8_1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(2604, "extend", tr1))(tr1, uu8_1x);
RTHOOK(23);
RTDBGAA(Current, dtype, 1029, 0xF80001BD, 0); /* natural_overflow_state2 */
ti4_4 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1003, dtype))(Current)).it_i4);
ui4_4 = (EIF_INTEGER_32) (ti4_4 + ((EIF_INTEGER_32) 1L));
if (ui4_4< 0) {
eraise ("non_negative_argument", EN_RT_CHECK);
}
tr1 = RTLNSP2(eif_non_attached_type(RTWCT(1029, dtype, Dftype(Current))),0,ui4_4,sizeof(EIF_NATURAL_64), EIF_TRUE);
RT_SPECIAL_COUNT(tr1) = 0;
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(1029, dtype)) = (EIF_REFERENCE) tr1;
RTHOOK(24);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1029, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(24,1);
tu8_1 = (EIF_NATURAL_64) ((EIF_INTEGER_32) 0L);
uu8_1 = tu8_1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(2604, "extend", tr1))(tr1, uu8_1x);
RTHOOK(25);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1028, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(25,1);
tu1_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(3407, 197))(Current)).it_n1);
tu1_2 = (EIF_NATURAL_8) ((EIF_INTEGER_32) 10L);
tu8_1 = (EIF_NATURAL_64) (EIF_NATURAL_8) (tu1_1 / tu1_2);
uu8_1 = tu8_1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(2604, "extend", tr1))(tr1, uu8_1x);
RTHOOK(26);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1029, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(26,1);
tu1_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(3407, 197))(Current)).it_n1);
tu1_2 = (EIF_NATURAL_8) ((EIF_INTEGER_32) 10L);
tu8_1 = (EIF_NATURAL_64) (EIF_NATURAL_8) (tu1_1 % tu1_2);
uu8_1 = tu8_1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(2604, "extend", tr1))(tr1, uu8_1x);
RTHOOK(27);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1028, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(27,1);
tu2_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(3358, 194))(Current)).it_n2);
tu2_2 = (EIF_NATURAL_16) ((EIF_INTEGER_32) 10L);
tu8_1 = (EIF_NATURAL_64) (EIF_NATURAL_16) (tu2_1 / tu2_2);
uu8_1 = tu8_1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(2604, "extend", tr1))(tr1, uu8_1x);
RTHOOK(28);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1029, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(28,1);
tu2_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(3358, 194))(Current)).it_n2);
tu2_2 = (EIF_NATURAL_16) ((EIF_INTEGER_32) 10L);
tu8_1 = (EIF_NATURAL_64) (EIF_NATURAL_16) (tu2_1 % tu2_2);
uu8_1 = tu8_1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(2604, "extend", tr1))(tr1, uu8_1x);
RTHOOK(29);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1028, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(29,1);
tu4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(3310, 191))(Current)).it_n4);
tu4_2 = (EIF_NATURAL_32) ((EIF_INTEGER_32) 10L);
tu8_1 = (EIF_NATURAL_64) (EIF_NATURAL_32) (tu4_1 / tu4_2);
uu8_1 = tu8_1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(2604, "extend", tr1))(tr1, uu8_1x);
RTHOOK(30);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1029, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(30,1);
tu4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(3310, 191))(Current)).it_n4);
tu4_2 = (EIF_NATURAL_32) ((EIF_INTEGER_32) 10L);
tu8_1 = (EIF_NATURAL_64) (EIF_NATURAL_32) (tu4_1 % tu4_2);
uu8_1 = tu8_1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(2604, "extend", tr1))(tr1, uu8_1x);
RTHOOK(31);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1028, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(31,1);
tu8_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(3262, 188))(Current)).it_n8);
tu8_2 = (EIF_NATURAL_64) ((EIF_INTEGER_32) 10L);
tu8_3 = (EIF_NATURAL_64) (EIF_NATURAL_64) (tu8_1 / tu8_2);
uu8_1 = tu8_3;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(2604, "extend", tr1))(tr1, uu8_1x);
RTHOOK(32);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(1029, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(32,1);
tu8_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(3262, 188))(Current)).it_n8);
tu8_2 = (EIF_NATURAL_64) ((EIF_INTEGER_32) 10L);
tu8_3 = (EIF_NATURAL_64) (EIF_NATURAL_64) (tu8_1 % tu8_2);
uu8_1 = tu8_3;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(2604, "extend", tr1))(tr1, uu8_1x);
RTVI(Current, RTAL);
RTRS;
RTHOOK(33);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(2);
RTEE;
#undef up1
#undef uu8_1
#undef ui4_1
#undef ui4_2
#undef ui4_3
#undef ui4_4
}
/* {RT_DBG_ATTRIBUTE_RECORD}.get_value */
void F1095_21188 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "get_value";
RTEX;
EIF_CHARACTER_32 loc1 = (EIF_CHARACTER_32) 0;
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32};
#define ui4_1 ui4_1x.it_i4
EIF_TYPED_VALUE uu4_1x = {{0}, SK_UINT32};
#define uu4_1 uu4_1x.it_n4
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE tr2 = NULL;
EIF_INTEGER_32 ti4_1;
EIF_NATURAL_32 tu4_1;
EIF_CHARACTER_32 tw1;
EIF_BOOLEAN tb1;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(4);
RTLR(0,Current);
RTLR(1,tr1);
RTLR(2,tr2);
RTLR(3,ur1);
RTLU (SK_VOID, NULL);
RTLU (SK_REF, &Current);
RTLU(SK_CHAR32, &loc1);
RTEAA(l_feature_name, 1094, Current, 1, 0, 16042);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(1094, Current, 16042);
RTIV(Current, RTAL);
RTHOOK(1);
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(18318, dtype));
ui4_1 = ti4_1;
tu4_1 = *(EIF_NATURAL_32 *)(Current + RTWA(18350, dtype));
uu4_1 = tu4_1;
tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(18348, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
ur1 = RTCCL(tr2);
tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWF(18177, dtype))(Current, ui4_1x, uu4_1x, ur1x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
tr1 = RTCCL(tr2);
RTOB(*(EIF_CHARACTER_32 *), RTWCT(18349, dtype, Dftype(Current)), tr1, loc1, tb1);
if (tb1) {
RTHOOK(2);
RTDBGAA(Current, dtype, 18349, 0x1C000000, 0); /* value */
*(EIF_CHARACTER_32 *)(Current + RTWA(18349, dtype)) = (EIF_CHARACTER_32) loc1;
} else {
RTHOOK(3);
RTDBGAA(Current, dtype, 18349, 0x1C000000, 0); /* value */
tw1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(18353, dtype))(Current)).it_c4);
*(EIF_CHARACTER_32 *)(Current + RTWA(18349, dtype)) = (EIF_CHARACTER_32) tw1;
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(4);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(3);
RTEE;
#undef up1
#undef ur1
#undef ui4_1
#undef uu4_1
}
/* {EQA_SYSTEM_EXECUTION_PROCESS}.launch */
void F865_7052 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x, EIF_TYPED_VALUE arg2x, EIF_TYPED_VALUE arg3x)
{
GTCX
char *l_feature_name = "launch";
RTEX;
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
EIF_REFERENCE loc2 = (EIF_REFERENCE) 0;
#define arg1 arg1x.it_r
#define arg2 arg2x.it_r
#define arg3 arg3x.it_r
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_TYPED_VALUE ur2x = {{0}, SK_REF};
#define ur2 ur2x.it_r
EIF_TYPED_VALUE ur3x = {{0}, SK_REF};
#define ur3 ur3x.it_r
EIF_TYPED_VALUE ub1x = {{0}, SK_BOOL};
#define ub1 ub1x.it_b
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE tr2 = NULL;
EIF_BOOLEAN tb1;
RTCFDT;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(11);
RTLR(0,arg1);
RTLR(1,arg2);
RTLR(2,arg3);
RTLR(3,Current);
RTLR(4,loc1);
RTLR(5,tr1);
RTLR(6,loc2);
RTLR(7,ur1);
RTLR(8,ur2);
RTLR(9,ur3);
RTLR(10,tr2);
RTLU (SK_VOID, NULL);
RTLU(SK_REF,&arg1);
RTLU(SK_REF,&arg2);
RTLU(SK_REF,&arg3);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTLU(SK_REF, &loc2);
RTEAA(l_feature_name, 864, Current, 2, 3, 12592);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(864, Current, 12592);
RTCC(arg1, 864, l_feature_name, 1, eif_attached_type(215));
{
static EIF_TYPE_INDEX typarr0[] = {864,263,0xFF11,215,0xFFFF};
EIF_TYPE_INDEX typres0;
static EIF_TYPE_INDEX typcache0 = INVALID_DTYPE;
typres0 = (typcache0 != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(dftype, 263, typarr0)));
RTCC(arg2, 864, l_feature_name, 2, eif_attached_type(typres0));
}
RTCC(arg3, 864, l_feature_name, 3, eif_attached_type(215));
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("a_exec_attached", EX_PRE);
RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
RTCK;
RTHOOK(2);
RTCT("a_arg_list_attached", EX_PRE);
RTTE((EIF_BOOLEAN)(arg2 != NULL), label_1);
RTCK;
RTHOOK(3);
RTCT("a_dir_attached", EX_PRE);
RTTE((EIF_BOOLEAN)(arg3 != NULL), label_1);
RTCK;
RTHOOK(4);
RTCT("not_running", EX_PRE);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(864, 44, dtype))(Current)).it_b);
RTTE((EIF_BOOLEAN) !tb1, label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(5);
RTDBGAL(Current, 1, 0xF800035F, 0, 0); /* loc1 */
tr1 = RTLN(863);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWC(863, 26, Dtype(tr1)))(tr1);
RTNHOOK(5,1);
loc1 = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(6);
RTDBGAL(Current, 2, 0xF8000373, 0, 0); /* loc2 */
ur1 = RTCCL(arg1);
ur2 = RTCCL(arg2);
ur3 = RTCCL(arg3);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTVF(863, 32, "process_launcher", loc1))(loc1, ur1x, ur2x, ur3x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
loc2 = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(7);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(883, 66, "enable_launch_in_new_process_group", loc2))(loc2);
RTHOOK(8);
ub1 = (EIF_BOOLEAN) 0;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(883, 55, "set_separate_console", loc2))(loc2, ub1x);
RTHOOK(9);
ub1 = (EIF_BOOLEAN) 1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(883, 54, "set_hidden", loc2))(loc2, ub1x);
if (RTAL & CK_CHECK) {
RTHOOK(10);
RTCT(NULL, EX_CHECK);
if ((EIF_BOOLEAN)(loc2 != NULL)) {
RTCK;
} else {
RTCF;
}
}
RTHOOK(11);
ur1 = RTCCL(loc2);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(864, 52, dtype))(Current, ur1x);
RTHOOK(12);
{
static EIF_TYPE_INDEX typarr0[] = {864,0xFFF9,1,172,0xFF11,0,0xFFFF};
EIF_TYPE_INDEX typres0;
typarr0[5] = dftype;
typres0 = eif_compound_id(dftype, 172, typarr0);
tr1 = RTLNTS(typres0, 2, 0);
}
((EIF_TYPED_VALUE *)tr1+1)->it_r = Current;
RTAR(tr1,Current);
{
static EIF_TYPE_INDEX typarr0[] = {864,0xFF11,236,0xFF11,0,0xFF11,0xFFF9,0,172,0xFFFF};
EIF_TYPE_INDEX typres0;
typarr0[4] = dftype;
typres0 = eif_compound_id(dftype, 236, typarr0);
tr2 = RTLNRW(typres0, 0, (EIF_POINTER) _A865_48, (EIF_POINTER)(0),864, 48, 0, 0, 0, 1, 0, tr1, 0);
}
ur1 = RTCCL(tr2);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(883, 63, "set_on_terminate_handler", loc2))(loc2, ur1x);
RTHOOK(13);
{
static EIF_TYPE_INDEX typarr0[] = {864,0xFFF9,1,172,0xFF11,0,0xFFFF};
EIF_TYPE_INDEX typres0;
typarr0[5] = dftype;
typres0 = eif_compound_id(dftype, 172, typarr0);
tr1 = RTLNTS(typres0, 2, 0);
}
((EIF_TYPED_VALUE *)tr1+1)->it_r = Current;
RTAR(tr1,Current);
{
static EIF_TYPE_INDEX typarr0[] = {864,0xFF11,236,0xFF11,0,0xFF11,0xFFF9,0,172,0xFFFF};
EIF_TYPE_INDEX typres0;
typarr0[4] = dftype;
typres0 = eif_compound_id(dftype, 236, typarr0);
tr2 = RTLNRW(typres0, 0, (EIF_POINTER) _A865_48, (EIF_POINTER)(0),864, 48, 0, 0, 0, 1, 0, tr1, 0);
}
ur1 = RTCCL(tr2);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(883, 62, "set_on_exit_handler", loc2))(loc2, ur1x);
RTHOOK(14);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(883, 46, "launch", loc2))(loc2);
RTHOOK(15);
RTDBGAA(Current, dtype, 864, 34, 0xF8000373, 0); /* process */
RTAR(Current, loc2);
*(EIF_REFERENCE *)(Current + RTWA(864, 34, dtype)) = (EIF_REFERENCE) RTCCL(loc2);
RTVI(Current, RTAL);
RTRS;
RTHOOK(16);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(7);
RTEE;
#undef up1
#undef ur1
#undef ur2
#undef ur3
#undef ub1
#undef arg3
#undef arg2
#undef arg1
}
/* {TYPE}.name */
EIF_TYPED_VALUE F340_5266 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "name";
RTEX;
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE tr2 = NULL;
EIF_REFERENCE Result = ((EIF_REFERENCE) 0);
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(6);
RTLR(0,loc1);
RTLR(1,Current);
RTLR(2,tr1);
RTLR(3,Result);
RTLR(4,tr2);
RTLR(5,ur1);
RTLU (SK_REF, &Result);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTEAA(l_feature_name, 339, Current, 1, 0, 8972);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(339, Current, 8972);
RTIV(Current, RTAL);
RTHOOK(1);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(3965, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
loc1 = tr1;
if (EIF_TEST(loc1)) {
RTHOOK(2);
RTDBGAL(Current, 0, 0xF8000109, 0,0); /* Result */
Result = (EIF_REFERENCE) loc1;
} else {
RTHOOK(3);
RTDBGAL(Current, 0, 0xF8000109, 0,0); /* Result */
tr1 = RTLN(265);
tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(3966, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
ur1 = RTCCL(tr2);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWC(4841, Dtype(tr1)))(tr1, ur1x);
RTNHOOK(3,1);
Result = (EIF_REFERENCE) tr1;
RTHOOK(4);
RTDBGAA(Current, dtype, 3965, 0xF8000109, 0); /* internal_name */
RTAR(Current, Result);
*(EIF_REFERENCE *)(Current + RTWA(3965, dtype)) = (EIF_REFERENCE) Result;
}
if (RTAL & CK_ENSURE) {
RTHOOK(5);
RTCT("name_not_void", EX_POST);
if ((EIF_BOOLEAN)(Result != NULL)) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(6);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(3);
RTEE;
{ EIF_TYPED_VALUE r; r.type = SK_REF; r.it_r = Result; return r; }
#undef up1
#undef ur1
}
/* {EQA_SYSTEM_EXECUTION_PROCESS}.make */
void F865_7037 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x, EIF_TYPED_VALUE arg2x, EIF_TYPED_VALUE arg3x, EIF_TYPED_VALUE arg4x, EIF_TYPED_VALUE arg5x)
{
GTCX
char *l_feature_name = "make";
RTEX;
#define arg1 arg1x.it_r
#define arg2 arg2x.it_r
#define arg3 arg3x.it_r
#define arg4 arg4x.it_r
#define arg5 arg5x.it_r
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_REFERENCE tr1 = NULL;
EIF_BOOLEAN tb1;
EIF_BOOLEAN tb2;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(7);
RTLR(0,arg1);
RTLR(1,arg2);
RTLR(2,arg3);
RTLR(3,arg4);
RTLR(4,arg5);
RTLR(5,Current);
RTLR(6,tr1);
RTLU (SK_VOID, NULL);
RTLU(SK_REF,&arg1);
RTLU(SK_REF,&arg2);
RTLU(SK_REF,&arg3);
RTLU(SK_REF,&arg4);
RTLU(SK_REF,&arg5);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 864, Current, 0, 5, 12577);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(864, Current, 12577);
RTCC(arg1, 864, l_feature_name, 1, RTWCT(864, 39, Current));
RTCC(arg2, 864, l_feature_name, 2, RTWCT(864, 39, Current));
RTCC(arg3, 864, l_feature_name, 3, RTWCT(864, 41, Current));
RTCC(arg4, 864, l_feature_name, 4, RTWCT(864, 41, Current));
RTCC(arg5, 864, l_feature_name, 5, RTWCT(864, 41, Current));
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("output_file_valid", EX_PRE);
tb1 = '\01';
if ((EIF_BOOLEAN)(arg3 != NULL)) {
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVPF(203, 25, "is_open_write", arg3))(arg3)).it_b);
tb1 = tb2;
}
RTTE(tb1, label_1);
RTCK;
RTHOOK(2);
RTCT("error_file_valid", EX_PRE);
tb1 = '\01';
if ((EIF_BOOLEAN)(arg4 != NULL)) {
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVPF(203, 25, "is_open_write", arg4))(arg4)).it_b);
tb1 = tb2;
}
RTTE(tb1, label_1);
RTCK;
RTHOOK(3);
RTCT("input_file_valid", EX_PRE);
tb1 = '\01';
if ((EIF_BOOLEAN)(arg5 != NULL)) {
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVPF(203, 24, "is_open_read", arg5))(arg5)).it_b);
tb1 = tb2;
}
RTTE(tb1, label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(4);
RTDBGAA(Current, dtype, 864, 35, 0xF80003AA, 0); /* mutex */
tr1 = RTLNSMART(eif_non_attached_type(RTWCT(864, 35, Current)));
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWC(938, 35, Dtype(tr1)))(tr1);
RTNHOOK(4,1);
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(864, 35, dtype)) = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(5);
RTDBGAA(Current, dtype, 864, 36, 0xF80003A9, 0); /* consumer_signal */
tr1 = RTLNSMART(eif_non_attached_type(RTWCT(864, 36, Current)));
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWC(937, 33, Dtype(tr1)))(tr1);
RTNHOOK(5,1);
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(864, 36, dtype)) = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(6);
RTDBGAA(Current, dtype, 864, 37, 0xF80003A9, 0); /* producer_signal */
tr1 = RTLNSMART(eif_non_attached_type(RTWCT(864, 37, Current)));
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWC(937, 33, Dtype(tr1)))(tr1);
RTNHOOK(6,1);
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(864, 37, dtype)) = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(7);
RTDBGAA(Current, dtype, 864, 39, 0xF8000361, 0); /* output_processor */
RTAR(Current, arg1);
*(EIF_REFERENCE *)(Current + RTWA(864, 39, dtype)) = (EIF_REFERENCE) RTCCL(arg1);
RTHOOK(8);
RTDBGAA(Current, dtype, 864, 40, 0xF8000361, 0); /* error_processor */
RTAR(Current, arg2);
*(EIF_REFERENCE *)(Current + RTWA(864, 40, dtype)) = (EIF_REFERENCE) RTCCL(arg2);
RTHOOK(9);
RTDBGAA(Current, dtype, 864, 41, 0xF80000A2, 0); /* output_file */
RTAR(Current, arg3);
*(EIF_REFERENCE *)(Current + RTWA(864, 41, dtype)) = (EIF_REFERENCE) RTCCL(arg3);
RTHOOK(10);
RTDBGAA(Current, dtype, 864, 42, 0xF80000A2, 0); /* error_file */
RTAR(Current, arg4);
*(EIF_REFERENCE *)(Current + RTWA(864, 42, dtype)) = (EIF_REFERENCE) RTCCL(arg4);
RTHOOK(11);
RTDBGAA(Current, dtype, 864, 43, 0xF80000A2, 0); /* input_file */
RTAR(Current, arg5);
*(EIF_REFERENCE *)(Current + RTWA(864, 43, dtype)) = (EIF_REFERENCE) RTCCL(arg5);
if (RTAL & CK_ENSURE) {
RTHOOK(12);
RTCT("output_processor_set", EX_POST);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(864, 39, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
if (RTCEQ(tr1, arg1)) {
RTCK;
} else {
RTCF;
}
RTHOOK(13);
RTCT("error_processor_set", EX_POST);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(864, 40, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
if (RTCEQ(tr1, arg2)) {
RTCK;
} else {
RTCF;
}
RTHOOK(14);
RTCT("output_file_set", EX_POST);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(864, 41, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
if (RTCEQ(tr1, arg3)) {
RTCK;
} else {
RTCF;
}
RTHOOK(15);
RTCT("error_file_set", EX_POST);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(864, 42, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
if (RTCEQ(tr1, arg4)) {
RTCK;
} else {
RTCF;
}
RTHOOK(16);
RTCT("input_file_set", EX_POST);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(864, 43, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
if (RTCEQ(tr1, arg5)) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(17);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(7);
RTEE;
#undef up1
#undef arg5
#undef arg4
#undef arg3
#undef arg2
#undef arg1
}
/* {WSF_ROUTER_SELF_DOCUMENTATION_HANDLER}.on_mapped */
void F268_11469 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x, EIF_TYPED_VALUE arg2x)
{
GTCX
char *l_feature_name = "on_mapped";
RTEX;
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
#define arg1 arg1x.it_r
#define arg2 arg2x.it_r
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE tr2 = NULL;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(6);
RTLR(0,arg1);
RTLR(1,arg2);
RTLR(2,loc1);
RTLR(3,Current);
RTLR(4,tr1);
RTLR(5,tr2);
RTLU (SK_VOID, NULL);
RTLU(SK_REF,&arg1);
RTLU(SK_REF,&arg2);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTEAA(l_feature_name, 267, Current, 1, 2, 4322);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(267, Current, 4322);
if (arg1) {
RTCC(arg1, 267, l_feature_name, 1, 406);
}
if (arg2) {
RTCC(arg2, 267, l_feature_name, 2, 320);
}
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("a_mapping_attached", EX_PRE);
RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
loc1 = RTCCL(arg1);
loc1 = RTRV(eif_non_attached_type(413),loc1);
if (EIF_TEST(loc1)) {
RTHOOK(3);
RTDBGAA(Current, dtype, 10676, 0xF8000185, 0); /* resource */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(17214, "uri", loc1))(loc1)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(15626, "as_string_8", tr1))(tr1)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTAR(Current, tr2);
*(EIF_REFERENCE *)(Current + RTWA(10676, dtype)) = (EIF_REFERENCE) RTCCL(tr2);
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(4);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(5);
RTEE;
#undef up1
#undef arg2
#undef arg1
}
/* {SED_TYPE_MISMATCH}.add_attribute_count_mismatch */
void F12_80 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x, EIF_TYPED_VALUE arg2x)
{
GTCX
char *l_feature_name = "add_attribute_count_mismatch";
RTEX;
#define arg1 arg1x.it_i4
#define arg2 arg2x.it_i4
EIF_INTEGER_32 ti4_1;
RTCDT;
RTSN;
RTDA;
RTLD;
if ((arg2x.type & SK_HEAD) == SK_REF) arg2x.it_i4 = * (EIF_INTEGER_32 *) arg2x.it_r;
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_INT32,&arg2);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 11, Current, 0, 2, 100);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(11, Current, 100);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("old_count_non_negative", EX_PRE);
RTTE((EIF_BOOLEAN) (arg1 >= ((EIF_INTEGER_32) 0L)), label_1);
RTCK;
RTHOOK(2);
RTCT("new_count_non_negative", EX_PRE);
RTTE((EIF_BOOLEAN) (arg2 >= ((EIF_INTEGER_32) 0L)), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(3);
RTDBGAA(Current, dtype, 93, 0x10000000, 1); /* old_count */
*(EIF_INTEGER_32 *)(Current + RTWA(93, dtype)) = (EIF_INTEGER_32) arg1;
RTHOOK(4);
RTDBGAA(Current, dtype, 94, 0x10000000, 1); /* new_count */
*(EIF_INTEGER_32 *)(Current + RTWA(94, dtype)) = (EIF_INTEGER_32) arg2;
if (RTAL & CK_ENSURE) {
RTHOOK(5);
RTCT("old_count_set", EX_POST);
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(93, dtype));
if ((EIF_BOOLEAN)(ti4_1 == arg1)) {
RTCK;
} else {
RTCF;
}
RTHOOK(6);
RTCT("new_count_set", EX_POST);
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(94, dtype));
if ((EIF_BOOLEAN)(ti4_1 == arg2)) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(7);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(4);
RTEE;
#undef arg2
#undef arg1
}
/* {STRING_ITERATION_CURSOR}.make_from_substring */
void F169_2989 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x, EIF_TYPED_VALUE arg2x, EIF_TYPED_VALUE arg3x)
{
GTCX
char *l_feature_name = "make_from_substring";
RTEX;
#define arg1 arg1x.it_r
#define arg2 arg2x.it_i4
#define arg3 arg3x.it_i4
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_REFERENCE tr1 = NULL;
EIF_INTEGER_32 ti4_1;
EIF_INTEGER_32 ti4_2;
RTCDT;
RTSN;
RTDA;
RTLD;
if ((arg3x.type & SK_HEAD) == SK_REF) arg3x.it_i4 = * (EIF_INTEGER_32 *) arg3x.it_r;
if ((arg2x.type & SK_HEAD) == SK_REF) arg2x.it_i4 = * (EIF_INTEGER_32 *) arg2x.it_r;
RTLI(3);
RTLR(0,arg1);
RTLR(1,Current);
RTLR(2,tr1);
RTLU (SK_VOID, NULL);
RTLU(SK_REF,&arg1);
RTLU(SK_INT32,&arg2);
RTLU(SK_INT32,&arg3);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 168, Current, 0, 3, 3508);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(168, Current, 3508);
RTCC(arg1, 168, l_feature_name, 1, RTWCT(2512, dtype, Dftype(Current)));
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("s_attached", EX_PRE);
RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
RTCK;
RTHOOK(2);
RTCT("start_position_big_enough", EX_PRE);
RTTE((EIF_BOOLEAN) (arg2 >= ((EIF_INTEGER_32) 1L)), label_1);
RTCK;
RTHOOK(3);
RTCT("end_position_big_enough", EX_PRE);
RTTE((EIF_BOOLEAN) (arg2 <= (EIF_INTEGER_32) (arg3 + ((EIF_INTEGER_32) 1L))), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(4);
RTDBGAA(Current, dtype, 2512, 0xF80000DC, 0); /* target */
RTAR(Current, arg1);
*(EIF_REFERENCE *)(Current + RTWA(2512, dtype)) = (EIF_REFERENCE) RTCCL(arg1);
RTHOOK(5);
RTDBGAA(Current, dtype, 2513, 0x10000000, 1); /* start_index */
*(EIF_INTEGER_32 *)(Current + RTWA(2513, dtype)) = (EIF_INTEGER_32) arg2;
RTHOOK(6);
RTDBGAA(Current, dtype, 2514, 0x10000000, 1); /* end_index */
*(EIF_INTEGER_32 *)(Current + RTWA(2514, dtype)) = (EIF_INTEGER_32) arg3;
RTHOOK(7);
RTDBGAA(Current, dtype, 2510, 0x10000000, 1); /* target_index */
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(2513, dtype));
*(EIF_INTEGER_32 *)(Current + RTWA(2510, dtype)) = (EIF_INTEGER_32) ti4_1;
if (RTAL & CK_ENSURE) {
RTHOOK(8);
RTCT("target_set", EX_POST);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2512, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
if (RTCEQ(tr1, arg1)) {
RTCK;
} else {
RTCF;
}
RTHOOK(9);
RTCT("starting_index_set", EX_POST);
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(2513, dtype));
if ((EIF_BOOLEAN)(ti4_1 == arg2)) {
RTCK;
} else {
RTCF;
}
RTHOOK(10);
RTCT("target_index_set", EX_POST);
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(2510, dtype));
ti4_2 = *(EIF_INTEGER_32 *)(Current + RTWA(2513, dtype));
if ((EIF_BOOLEAN)(ti4_1 == ti4_2)) {
RTCK;
} else {
RTCF;
}
RTHOOK(11);
RTCT("end_index_set", EX_POST);
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(2514, dtype));
if ((EIF_BOOLEAN)(ti4_1 == arg3)) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(12);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(5);
RTEE;
#undef up1
#undef arg3
#undef arg2
#undef arg1
}
/* {SED_TYPE_MISMATCH}.add_version_mismatch */
void F12_81 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x, EIF_TYPED_VALUE arg2x)
{
GTCX
char *l_feature_name = "add_version_mismatch";
RTEX;
#define arg1 arg1x.it_r
#define arg2 arg2x.it_r
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_REFERENCE tr1 = NULL;
EIF_BOOLEAN tb1;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(4);
RTLR(0,arg1);
RTLR(1,arg2);
RTLR(2,Current);
RTLR(3,tr1);
RTLU (SK_VOID, NULL);
RTLU(SK_REF,&arg1);
RTLU(SK_REF,&arg2);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 11, Current, 0, 2, 101);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(11, Current, 101);
if (arg1) {
RTCC(arg1, 11, l_feature_name, 1, eif_non_attached_type(265));
}
if (arg2) {
RTCC(arg2, 11, l_feature_name, 2, eif_non_attached_type(265));
}
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("different_version", EX_PRE);
RTTE(!RTEQ(arg1, arg2), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
RTDBGAA(Current, dtype, 95, 0xF8000109, 0); /* old_version */
RTAR(Current, arg1);
*(EIF_REFERENCE *)(Current + RTWA(95, dtype)) = (EIF_REFERENCE) arg1;
RTHOOK(3);
RTDBGAA(Current, dtype, 96, 0xF8000109, 0); /* new_version */
RTAR(Current, arg2);
*(EIF_REFERENCE *)(Current + RTWA(96, dtype)) = (EIF_REFERENCE) arg2;
RTHOOK(4);
RTDBGAA(Current, dtype, 89, 0x04000000, 1); /* has_version_mismatch */
*(EIF_BOOLEAN *)(Current + RTWA(89, dtype)) = (EIF_BOOLEAN) (EIF_BOOLEAN) 1;
if (RTAL & CK_ENSURE) {
RTHOOK(5);
RTCT("old_version_set", EX_POST);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(95, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
if ((EIF_BOOLEAN)(tr1 == arg1)) {
RTCK;
} else {
RTCF;
}
RTHOOK(6);
RTCT("new_version_set", EX_POST);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(96, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
if ((EIF_BOOLEAN)(tr1 == arg2)) {
RTCK;
} else {
RTCF;
}
RTHOOK(7);
RTCT("version_mismatched", EX_POST);
tb1 = *(EIF_BOOLEAN *)(Current + RTWA(89, dtype));
if (tb1) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(8);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(4);
RTEE;
#undef up1
#undef arg2
#undef arg1
}
/* {RT_DBG_FIELD_RECORD}.get_value */
void F812_21154 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "get_value";
RTEX;
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
EIF_REFERENCE loc2 = (EIF_REFERENCE) 0;
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32};
#define ui4_1 ui4_1x.it_i4
EIF_REFERENCE tr1 = NULL;
EIF_INTEGER_32 ti4_1;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(5);
RTLR(0,loc1);
RTLR(1,Current);
RTLR(2,tr1);
RTLR(3,ur1);
RTLR(4,loc2);
RTLU (SK_VOID, NULL);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTLU(SK_REF, &loc2);
RTEAA(l_feature_name, 811, Current, 2, 0, 15432);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(811, Current, 15432);
RTIV(Current, RTAL);
RTHOOK(1);
RTDBGAL(Current, 1, 0xF8000103, 0, 0); /* loc1 */
loc1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(18213, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTHOOK(2);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(18331, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
ur1 = RTCCL(tr1);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(10638, "set_object", loc1))(loc1, ur1x);
RTHOOK(3);
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(18318, dtype));
ui4_1 = ti4_1;
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(10470, "field", loc1))(loc1, ui4_1x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
loc2 = RTCCL(tr1);
loc2 = RTRV(eif_non_attached_type(RTWCT(18332, dtype, Dftype(Current))),loc2);
if (EIF_TEST(loc2)) {
RTHOOK(4);
RTDBGAA(Current, dtype, 18332, 0xF8000000, 0); /* value */
RTAR(Current, loc2);
*(EIF_REFERENCE *)(Current + RTWA(18332, dtype)) = (EIF_REFERENCE) RTCCL(loc2);
} else {
RTHOOK(5);
RTDBGAA(Current, dtype, 18332, 0xF8000000, 0); /* value */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(18335, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(18332, dtype)) = (EIF_REFERENCE) RTCCL(tr1);
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(6);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(4);
RTEE;
#undef up1
#undef ur1
#undef ui4_1
}
/* {SED_TYPE_MISMATCH}.make */
void F12_78 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "make";
RTEX;
EIF_INTEGER_32 loc1 = (EIF_INTEGER_32) 0;
#define arg1 arg1x.it_i4
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_INTEGER_32 ti4_1;
RTCDT;
RTSN;
RTDA;
RTLD;
if ((arg1x.type & SK_HEAD) == SK_REF) arg1x.it_i4 = * (EIF_INTEGER_32 *) arg1x.it_r;
RTLI(2);
RTLR(0,Current);
RTLR(1,tr1);
RTLU (SK_VOID, NULL);
RTLU(SK_INT32,&arg1);
RTLU (SK_REF, &Current);
RTLU(SK_INT32, &loc1);
RTEAA(l_feature_name, 11, Current, 1, 1, 98);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(11, Current, 98);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("type_id_non_negative", EX_PRE);
RTTE((EIF_BOOLEAN) (arg1 >= ((EIF_INTEGER_32) 0L)), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
RTDBGAA(Current, dtype, 92, 0x10000000, 1); /* type_id */
*(EIF_INTEGER_32 *)(Current + RTWA(92, dtype)) = (EIF_INTEGER_32) arg1;
RTHOOK(3);
RTDBGAL(Current, 1, 0x10000000, 1, 0); /* loc1 */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(100, 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_1 = *(EIF_INTEGER_32 *)(Current + RTWA(92, dtype));
ui4_1 = ti4_1;
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(2366, "field_count_of_type", tr1))(tr1, ui4_1x)).it_i4);
loc1 = (EIF_INTEGER_32) ti4_1;
RTHOOK(4);
RTDBGAA(Current, dtype, 97, 0xF8000187, 0); /* mismatches_by_name */
tr1 = RTLNSMART(eif_non_attached_type(RTWCT(97, dtype, Dftype(Current))));
ui4_1 = loc1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWC(3716, Dtype(tr1)))(tr1, ui4_1x);
RTNHOOK(4,1);
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(97, dtype)) = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(5);
RTDBGAA(Current, dtype, 98, 0xF8000183, 0); /* mismatches_by_stored_position */
tr1 = RTLNSMART(eif_non_attached_type(RTWCT(98, dtype, Dftype(Current))));
ui4_1 = loc1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWC(3716, Dtype(tr1)))(tr1, ui4_1x);
RTNHOOK(5,1);
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(98, dtype)) = (EIF_REFERENCE) RTCCL(tr1);
if (RTAL & CK_ENSURE) {
RTHOOK(6);
RTCT("type_id_set", EX_POST);
ti4_1 = *(EIF_INTEGER_32 *)(Current + RTWA(92, dtype));
if ((EIF_BOOLEAN)(ti4_1 == arg1)) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(7);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(4);
RTEE;
#undef up1
#undef ui4_1
#undef arg1
}
/* {EV_PIXEL_BUFFER_ITERATOR}.start */
void F1068_9934 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "start";
RTEX;
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_REFERENCE tr1 = NULL;
EIF_INTEGER_32 ti4_1;
EIF_NATURAL_32 tu4_1;
EIF_NATURAL_32 tu4_2;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(2);
RTLR(0,Current);
RTLR(1,tr1);
RTLU (SK_VOID, NULL);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 1067, Current, 0, 0, 15426);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(1067, Current, 15426);
RTIV(Current, RTAL);
RTHOOK(1);
RTDBGAA(Current, dtype, 7668, 0x38000000, 1); /* max_row_value */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(7670, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(1,1);
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(9454, "height", tr1))(tr1)).it_i4);
RTNHOOK(1,2);
tu4_1 = (EIF_NATURAL_32) ti4_1;
tu4_2 = (EIF_NATURAL_32) ((EIF_INTEGER_32) 1L);
*(EIF_NATURAL_32 *)(Current + RTWA(7668, dtype)) = (EIF_NATURAL_32) (EIF_NATURAL_32) (tu4_1 - tu4_2);
RTHOOK(2);
RTDBGAA(Current, dtype, 7667, 0x38000000, 1); /* max_column_value */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(7670, 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);
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(9453, "width", tr1))(tr1)).it_i4);
RTNHOOK(2,2);
tu4_1 = (EIF_NATURAL_32) ti4_1;
tu4_2 = (EIF_NATURAL_32) ((EIF_INTEGER_32) 1L);
*(EIF_NATURAL_32 *)(Current + RTWA(7667, dtype)) = (EIF_NATURAL_32) (EIF_NATURAL_32) (tu4_1 - tu4_2);
RTHOOK(3);
RTDBGAA(Current, dtype, 7671, 0x38000000, 1); /* column_value */
tu4_1 = (EIF_NATURAL_32) ((EIF_INTEGER_32) 0L);
*(EIF_NATURAL_32 *)(Current + RTWA(7671, dtype)) = (EIF_NATURAL_32) tu4_1;
RTHOOK(4);
RTDBGAA(Current, dtype, 7672, 0x38000000, 1); /* row_value */
tu4_1 = (EIF_NATURAL_32) ((EIF_INTEGER_32) 0L);
*(EIF_NATURAL_32 *)(Current + RTWA(7672, dtype)) = (EIF_NATURAL_32) tu4_1;
RTVI(Current, RTAL);
RTRS;
RTHOOK(5);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(2);
RTEE;
#undef up1
}
/* {TO_SPECIAL}.make_filled_area */
void F488_2767 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x, EIF_TYPED_VALUE arg2x)
{
GTCX
char *l_feature_name = "make_filled_area";
RTEX;
#define arg1 arg1x.it_p
#define arg2 arg2x.it_i4
EIF_TYPED_VALUE up1x = {{0}, SK_POINTER};
#define up1 up1x.it_p
EIF_TYPED_VALUE up2x = {{0}, SK_POINTER};
#define up2 up2x.it_p
EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32};
#define ui4_1 ui4_1x.it_i4
EIF_TYPED_VALUE ui4_2x = {{0}, SK_INT32};
#define ui4_2 ui4_2x.it_i4
EIF_REFERENCE tr1 = NULL;
EIF_INTEGER_32 ti4_1;
EIF_BOOLEAN tb1;
RTCDT;
RTSN;
RTDA;
RTLD;
if ((arg2x.type & SK_HEAD) == SK_REF) arg2x.it_i4 = * (EIF_INTEGER_32 *) arg2x.it_r;
if ((arg1x.type & SK_HEAD) == SK_REF) arg1x.it_p = * (EIF_POINTER *) arg1x.it_r;
RTLI(2);
RTLR(0,Current);
RTLR(1,tr1);
RTLU (SK_VOID, NULL);
RTLU(SK_POINTER,&arg1);
RTLU(SK_INT32,&arg2);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 487, Current, 0, 2, 3253);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(487, Current, 3253);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("non_negative_argument", EX_PRE);
RTTE((EIF_BOOLEAN) (arg2 >= ((EIF_INTEGER_32) 0L)), label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
RTDBGAA(Current, dtype, 2310, 0xF80001E8, 0); /* area */
up1 = arg1;
ui4_1 = arg2;
if (ui4_1< 0) {
eraise ("non_negative_argument", EN_RT_CHECK);
}
tr1 = RTLNSP2(eif_non_attached_type(RTWCT(2310, dtype, Dftype(Current))),0,ui4_1,sizeof(EIF_POINTER), EIF_TRUE);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWC(2474, Dtype(tr1)))(tr1, up1x, ui4_1x);
RTNHOOK(2,1);
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(2310, dtype)) = (EIF_REFERENCE) tr1;
if (RTAL & CK_ENSURE) {
RTHOOK(3);
RTCT("area_allocated", EX_POST);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2310, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
if ((EIF_BOOLEAN)(tr1 != NULL)) {
RTCK;
} else {
RTCF;
}
RTHOOK(4);
RTCT("capacity_set", EX_POST);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2310, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(4,1);
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2378, "capacity", tr1))(tr1)).it_i4);
if ((EIF_BOOLEAN)(ti4_1 == arg2)) {
RTCK;
} else {
RTCF;
}
RTHOOK(5);
RTCT("count_set", EX_POST);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2310, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(5,1);
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2377, "count", tr1))(tr1)).it_i4);
if ((EIF_BOOLEAN)(ti4_1 == arg2)) {
RTCK;
} else {
RTCF;
}
RTHOOK(6);
RTCT("area_filled", EX_POST);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2310, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(6,1);
up2 = arg1;
ui4_1 = ((EIF_INTEGER_32) 0L);
ui4_2 = (EIF_INTEGER_32) (arg2 - ((EIF_INTEGER_32) 1L));
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTVF(2484, "filled_with", tr1))(tr1, up2x, ui4_1x, ui4_2x)).it_b);
if (tb1) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(7);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(4);
RTEE;
#undef up1
#undef up2
#undef ui4_1
#undef ui4_2
#undef arg2
#undef arg1
}
