/* {EV_DOCKABLE_SOURCE_ACTION_SEQUENCE}.force_extend */
void F1104_10196 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "force_extend";
RTEX;
#define arg1 arg1x.it_r
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;
RTCFDT;
RTSN;
RTDA;
RTLD;
RTLI(7);
RTLR(0,arg1);
RTLR(1,Current);
RTLR(2,tr1);
RTLR(3,tr2);
RTLR(4,tr3);
RTLR(5,tr4);
RTLR(6,ur1);
RTLU (SK_VOID, NULL);
RTLU(SK_REF,&arg1);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 1103, Current, 0, 1, 15988);
RTSA(Dtype(Current));
RTSC;
RTME(Dtype(Current), 0);
RTGC;
RTDBGEAA(1103, Current, 15988);
{
static EIF_TYPE_INDEX typarr0[] = {237,0xFF11,0,0xFF11,0xFFF9,0,173,0xFFFF};
EIF_TYPE_INDEX typres0;
static EIF_TYPE_INDEX typcache0 = INVALID_DTYPE;
typres0 = (typcache0 != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(dftype, typarr0)));
RTCC(arg1, 1103, l_feature_name, 1, eif_attached_type(typres0));
}
RTIV(Current, RTAL);
RTHOOK(1);
{
static EIF_TYPE_INDEX typarr0[] = {0xFFF9,2,173,0xFF11,0,0xFF11,237,0xFF11,0,0xFF11,0xFFF9,0,173,0xFFFF};
EIF_TYPE_INDEX typres0;
typarr0[4] = dftype;
typres0 = eif_compound_id(dftype, typarr0);
tr1 = RTLNTS(typres0, 3, 0);
}
((EIF_TYPED_VALUE *)tr1+1)->it_r = Current;
RTAR(tr1,Current);
((EIF_TYPED_VALUE *)tr1+2)->it_r = arg1;
RTAR(tr1,arg1);
ui4_1 = ((EIF_INTEGER_32) 1L);
{
static EIF_TYPE_INDEX typarr0[] = {292,205,0xFFFF};
EIF_TYPE_INDEX typres0;
static EIF_TYPE_INDEX typcache0 = INVALID_DTYPE;
typres0 = (typcache0 != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(dftype, typarr0)));
tr3 = RTLNSP2(eif_non_attached_type(typres0),0,ui4_1,sizeof(EIF_INTEGER_32), EIF_TRUE);
RT_SPECIAL_COUNT(tr3) = 1L;
memset(tr3, 0, RT_SPECIAL_VISIBLE_SIZE(tr3));
}
*((EIF_INTEGER_32 *)tr3+0) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 2L);
tr2 = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2397, Dtype(tr3)))(tr3).it_r;
{
static EIF_TYPE_INDEX typarr0[] = {0xFF11,237,0xFF11,0,0xFF11,0xFFF9,1,173,0xFF11,1222,0xFFFF};
EIF_TYPE_INDEX typres0;
typarr0[3] = dftype;
typres0 = eif_compound_id(dftype, typarr0);
tr4 = RTLNRW(typres0, 0, (EIF_POINTER) _A1104_182_2, (EIF_POINTER)(0),7857, tr2, 0, 1, -1, tr1, 1);
}
ur1 = RTCCL(tr4);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(1705, Dtype(Current)))(Current, ur1x);
RTVI(Current, RTAL);
RTRS;
RTHOOK(2);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(3);
RTEE;
#undef ur1
#undef ui4_1
#undef arg1
}
/* {EQA_SYSTEM_TEST_SET}.run_system */
void F893_7473 (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,loc2);
RTLR(4,tr2);
RTLR(5,loc1);
RTLR(6,tr3);
RTLR(7,tr4);
RTLR(8,tr5);
RTLR(9,tr6);
RTLR(10,ur1);
RTLR(11,loc3);
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, 892, Current, 3, 1, 12979);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(892, Current, 12979);
{
static EIF_TYPE_INDEX typarr0[] = {892,241,0xFF11,218,0xFFFF};
EIF_TYPE_INDEX typres0;
static EIF_TYPE_INDEX typcache0 = INVALID_DTYPE;
typres0 = (typcache0 != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(dftype, 241, typarr0)));
RTCC(arg1, 892, l_feature_name, 1, eif_attached_type(typres0));
}
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(892, 48, 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(892, 48, 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)) {
tb2 = *(EIF_BOOLEAN *)(loc2 + RTVA(886, 45, "is_launched", loc2));
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(892, 48, 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);
RTDBGAL(Current, 1, 0xF8000376, 0, 0); /* loc1 */
loc1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(892, 48, 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_CHECK) {
RTHOOK(4);
RTCT(NULL, EX_CHECK);
if ((EIF_BOOLEAN)(loc1 != NULL)) {
RTCK;
} else {
RTCF;
}
}
RTHOOK(5);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(886, 63, "clear_argument", loc1))(loc1);
RTHOOK(6);
{
static EIF_TYPE_INDEX typarr0[] = {892,0xFFF9,2,172,0xFF11,0,0xFF11,0,0xFFFF};
EIF_TYPE_INDEX typres0;
typarr0[5] = dftype;
typarr0[7] = RTWCT(892, 48, Current);
typres0 = eif_compound_id(dftype, 172, typarr0);
tr3 = RTLNTS(typres0, 3, 0);
}
((EIF_TYPED_VALUE *)tr3+1)->it_r = Current;
RTAR(tr3,Current);
((EIF_TYPED_VALUE *)tr3+2)->it_r = loc1;
RTAR(tr3,loc1);
ui4_1 = ((EIF_INTEGER_32) 1L);
{
static EIF_TYPE_INDEX typarr0[] = {892,294,204,0xFFFF};
EIF_TYPE_INDEX typres0;
static EIF_TYPE_INDEX typcache0 = INVALID_DTYPE;
typres0 = (typcache0 != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(dftype, 294, typarr0)));
tr5 = RTLNSP2(eif_non_attached_type(typres0),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)) RTWPF(2, 8, Dtype(tr5)))(tr5).it_r;
{
static EIF_TYPE_INDEX typarr0[] = {892,0xFF11,236,0xFF11,0,0xFF11,0xFFF9,1,172,0xFF11,218,0xFFFF};
EIF_TYPE_INDEX typres0;
typarr0[4] = dftype;
typres0 = eif_compound_id(dftype, 236, typarr0);
tr6 = RTLNRW(typres0, 0, (EIF_POINTER) _A893_58_2, (EIF_POINTER)(0),892, 58, tr4, 0, 0, 1, 1, tr3, 1);
}
ur1 = RTCCL(tr6);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVPF(4, 17, "do_all", arg1))(arg1, ur1x);
RTHOOK(7);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(886, 59, "launch", loc1))(loc1);
RTHOOK(8);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(886, 61, "process_output_until_exit", loc1))(loc1);
RTHOOK(9);
RTDBGAA(Current, dtype, 892, 48, 0xF8000376, 0); /* current_execution */
RTAR(Current, loc1);
*(EIF_REFERENCE *)(Current + RTWA(892, 48, dtype)) = (EIF_REFERENCE) RTCCL(loc1);
if (RTAL & CK_ENSURE) {
RTHOOK(10);
RTCT("current_execution_unchanged", EX_POST);
tr3 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(892, 48, 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(11);
RTCT("current_execution_exited", EX_POST);
tb1 = '\0';
tb2 = '\0';
tr3 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(892, 48, 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(886, 45, "is_launched", loc3));
tb2 = tb3;
}
if (tb2) {
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(886, 46, "has_exited", loc3))(loc3)).it_b);
tb1 = tb2;
}
if (tb1) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(12);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(6);
RTEE;
#undef up1
#undef ur1
#undef ui4_1
#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_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
}
/* {ETF_ADD_LESS_THAN_INTERFACE}.make */
void F1147_10390 (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_TYPED_VALUE ur2x = {{0}, SK_REF};
#define ur2 ur2x.it_r
EIF_TYPED_VALUE ur3x = {{0}, SK_REF};
#define ur3 ur3x.it_r
EIF_REFERENCE tr1 = NULL;
EIF_REFERENCE tr2 = NULL;
RTCFDT;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(9);
RTLR(0,arg1);
RTLR(1,arg2);
RTLR(2,arg3);
RTLR(3,ur1);
RTLR(4,ur2);
RTLR(5,ur3);
RTLR(6,Current);
RTLR(7,tr1);
RTLR(8,tr2);
RTLU (SK_VOID, NULL);
RTLU(SK_REF,&arg1);
RTLU(SK_REF,&arg2);
RTLU(SK_REF,&arg3);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 1146, Current, 0, 3, 16168);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(1146, Current, 16168);
RTCC(arg1, 1146, l_feature_name, 1, eif_attached_type(219));
{
static EIF_TYPE_INDEX typarr0[] = {0xFFF9,0,173,0xFFFF};
EIF_TYPE_INDEX typres0;
static EIF_TYPE_INDEX typcache0 = INVALID_DTYPE;
typres0 = (typcache0 != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(dftype, typarr0)));
RTCC(arg2, 1146, l_feature_name, 2, eif_attached_type(typres0));
}
RTCC(arg3, 1146, l_feature_name, 3, eif_attached_type(938));
RTIV(Current, RTAL);
RTHOOK(1);
ur1 = RTCCL(arg1);
ur2 = RTCCL(arg2);
ur3 = RTCCL(arg3);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWF(7980, 1126))(Current, ur1x, ur2x, ur3x);
RTHOOK(2);
RTDBGAA(Current, dtype, 7983, 0xF80000F1, 0); /* etf_cmd_routine */
{
static EIF_TYPE_INDEX typarr0[] = {0xFFF9,1,173,0xFF11,0,0xFFFF};
EIF_TYPE_INDEX typres0;
typarr0[4] = dftype;
typres0 = eif_compound_id(dftype, typarr0);
tr1 = RTLNTS(typres0, 2, 0);
}
((EIF_TYPED_VALUE *)tr1+1)->it_r = Current;
RTAR(tr1,Current);
{
static EIF_TYPE_INDEX typarr0[] = {0xFF11,237,0xFF11,0,0xFF11,0xFFF9,0,173,0xFFFF};
EIF_TYPE_INDEX typres0;
typarr0[3] = dftype;
typres0 = eif_compound_id(dftype, typarr0);
tr2 = RTLNRW(typres0, 0, (EIF_POINTER) _A1147_49, (EIF_POINTER)(0),8003, 0, 0, 1, -1, tr1, 0);
}
RTAR(Current, tr2);
*(EIF_REFERENCE *)(Current + RTWA(7983, dtype)) = (EIF_REFERENCE) RTCCL(tr2);
RTHOOK(3);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(7983, 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);
ur1 = RTCCL(arg2);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4294, "set_operands", tr1))(tr1, ur1x);
RTHOOK(4);
if ((EIF_BOOLEAN) 1) {
RTHOOK(5);
RTDBGAA(Current, dtype, 7991, 0xF80000DB, 0); /* out */
tr1 = RTMS_EX_H("add_less_than",13,1307581806);
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(7991, dtype)) = (EIF_REFERENCE) tr1;
} else {
RTHOOK(6);
RTDBGAA(Current, dtype, 7985, 0x04000000, 1); /* etf_cmd_error */
*(EIF_BOOLEAN *)(Current + RTWA(7985, dtype)) = (EIF_BOOLEAN) (EIF_BOOLEAN) 1;
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(7);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(5);
RTEE;
#undef up1
#undef ur1
#undef ur2
#undef ur3
#undef arg3
#undef arg2
#undef arg1
}
/* {V_CONTAINER}.for_all */
EIF_TYPED_VALUE F880_7224 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "for_all";
RTEX;
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
#define arg1 arg1x.it_r
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 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_INTEGER_32 ti4_1;
EIF_BOOLEAN tb1;
EIF_BOOLEAN tb2;
EIF_BOOLEAN tb3;
EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0);
RTCFDT;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(9);
RTLR(0,arg1);
RTLR(1,Current);
RTLR(2,tr1);
RTLR(3,tr2);
RTLR(4,tr3);
RTLR(5,tr4);
RTLR(6,tr5);
RTLR(7,ur1);
RTLR(8,loc1);
RTLIU(9);
RTLU (SK_BOOL, &Result);
RTLU(SK_REF,&arg1);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTEAA(l_feature_name, 879, Current, 1, 1, 13092);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(879, Current, 13092);
{
static EIF_TYPE_INDEX typarr0[] = {0xFF01,274,0xFF01,0,0xFF01,0xFFF9,1,174,0,0,0xFFFF};
EIF_TYPE typres0;
{
EIF_TYPE l_type;
l_type = RTWCT(2319, dtype, dftype);
typarr0[8] = l_type.annotations | 0xFF00;
typarr0[9] = l_type.id;
}
typres0 = eif_compound_id(dftype, typarr0);
RTCC(arg1, 879, l_feature_name, 1, typres0, 0x01);
}
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("pred_has_one_arg", EX_PRE);
ti4_1 = *(EIF_INTEGER_32 *)(arg1 + RTVA(4307, "open_count", arg1));
RTTE((EIF_BOOLEAN)(ti4_1 == ((EIF_INTEGER_32) 1L)), label_1);
RTCK;
RTHOOK(2);
RTCT("precondition_satisfied", EX_PRE);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5109, 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);
tr2 = ((up2x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(4991, "domain", tr1))(tr1)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r);
RTNHOOK(2,2);
{
static EIF_TYPE_INDEX typarr0[] = {0xFFF9,2,174,0xFF01,0,0xFF01,274,0xFF01,0,0xFF01,0xFFF9,1,174,0,0,0xFFFF};
EIF_TYPE typres0;
typarr0[4] = dftype;
{
EIF_TYPE l_type;
l_type = RTWCT(2319, dtype, dftype);
typarr0[13] = l_type.annotations | 0xFF00;
typarr0[14] = l_type.id;
}
typres0 = eif_compound_id(dftype, typarr0);
tr1 = RTLNTS(typres0.id, 3, 0);
}
((EIF_TYPED_VALUE *)tr1+1)->it_r = Current;
RTAR(tr1,Current);
((EIF_TYPED_VALUE *)tr1+2)->it_r = arg1;
RTAR(tr1,arg1);
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)));
tr4 = RTLNSP2(typres0.id,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(2403, Dtype(tr4)))(tr4).it_r;
{
static EIF_TYPE_INDEX typarr0[] = {0xFF01,274,0xFF01,0,0xFF01,0xFFF9,1,174,206,0xFFFF};
EIF_TYPE typres0;
typarr0[3] = dftype;
typres0 = eif_compound_id(dftype, typarr0);
tr5 = RTLNRW(typres0.id, 0, (EIF_POINTER) _A880_42_2, (EIF_POINTER)(0),5181, tr3, 0, 1, 879, tr1, 1);
}
ur1 = RTCCL(tr5);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(5043, "for_all", tr2))(tr2, ur1x)).it_b);
RTTE(tb1, label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(3);
RTDBGAL(Current, 0, 0x04000000, 1,0); /* Result */
RTHOOK(4);
RTDBGAL(Current, 1, 0xF8000365, 0, 0); /* loc1 */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2318, "new_cursor", Current))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
loc1 = (EIF_REFERENCE) RTCCL(tr1);
tb1 = EIF_TRUE;
for (;;) {
if (!tb1) break;
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(1677, "after", loc1))(loc1)).it_b);
if (tb2) break;
RTHOOK(5);
{
static EIF_TYPE_INDEX typarr0[] = {0xFF01,0xFFF9,1,174,0,0,0xFFFF};
EIF_TYPE typres0;
{
EIF_TYPE l_type;
l_type = RTWCT(2319, dtype, dftype);
typarr0[4] = l_type.annotations | 0xFF00;
typarr0[5] = l_type.id;
}
typres0 = eif_compound_id(dftype, typarr0);
tr1 = RTLNTS(typres0.id, 2, 0);
}
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(4910, "item", loc1))(loc1)).it_i4);
((EIF_TYPED_VALUE *)tr1+1)->it_i4 = ti4_1;
ur1 = RTCCL(tr1);
tb3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4337, "item", arg1))(arg1, ur1x)).it_b);
tb1 = tb3;
RTHOOK(6);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(1678, "forth", loc1))(loc1);
}
Result = (EIF_BOOLEAN) tb1;
if (RTAL & CK_ENSURE) {
RTHOOK(7);
RTCT("definition", EX_POST);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5109, 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);
tr2 = ((up2x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(4991, "domain", tr1))(tr1)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r);
RTNHOOK(7,2);
ur1 = RTCCL(arg1);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(5043, "for_all", tr2))(tr2, ur1x)).it_b);
if ((EIF_BOOLEAN)(Result == tb1)) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(8);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(4);
RTEE;
{ EIF_TYPED_VALUE r; r.type = SK_BOOL; r.it_b = Result; return r; }
#undef up1
#undef up2
#undef ur1
#undef ui4_1
#undef arg1
}
/* {ETF_MODEL_FACADE}.make */
void F877_8201 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "make";
RTEX;
struct eif_ex_878 sloc1;
EIF_REFERENCE loc1 = (EIF_REFERENCE) sloc1.data;
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 ur1x = {{0}, SK_REF};
#define ur1 ur1x.it_r
EIF_TYPED_VALUE ur2x = {{0}, SK_REF};
#define ur2 ur2x.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;
RTCFDT;
RTCDT;
RTSN;
RTDA;
RTLD;
memset (&sloc1.overhead, 0, OVERHEAD + 0);
sloc1.overhead.ov_flags = EO_EXP | EO_STACK;
RT_DFS(&sloc1.overhead, 878);
RTLI(9);
RTLR(0,Current);
RTLR(1,loc1);
RTLR(2,tr1);
RTLR(3,tr2);
RTLR(4,ur1);
RTLR(5,tr3);
RTLR(6,ur2);
RTLR(7,tr4);
RTLR(8,tr5);
RTLU (SK_VOID, NULL);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTEAA(l_feature_name, 876, Current, 1, 0, 13837);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(876, Current, 13837);
RTIV(Current, RTAL);
wstdinit(loc1,loc1);
RTLXI(loc1);
RTHOOK(1);
RTDBGAA(Current, dtype, 6120, 0xF8000370, 0); /* model */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(6175, "m", loc1))(loc1)), (((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(6120, dtype)) = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(2);
RTDBGAA(Current, dtype, 6125, 0xF80003AD, 0); /* sys */
tr1 = RTLNSMART(eif_non_attached_type(RTWCT(6125, dtype, dftype)));
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWC(6625, Dtype(tr1)))(tr1);
RTNHOOK(2,1);
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(6125, dtype)) = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(3);
RTDBGAA(Current, dtype, 6128, 0xF80003AB, 0); /* ui */
tr1 = RTLNSMART(eif_non_attached_type(RTWCT(6128, dtype, dftype)));
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWC(6620, Dtype(tr1)))(tr1);
RTNHOOK(3,1);
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(6128, dtype)) = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(4);
RTDBGAA(Current, dtype, 6126, 0xF8000406, 0); /* input */
tr1 = RTLNSMART(eif_non_attached_type(RTWCT(6126, dtype, dftype)));
tr2 = RTMS_EX_H("dummy",5,1970873721);
ur1 = tr2;
tr3 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6128, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
ur2 = RTCCL(tr3);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWC(7161, Dtype(tr1)))(tr1, ur1x, ur2x);
RTNHOOK(4,1);
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(6126, dtype)) = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(5);
RTDBGAA(Current, dtype, 6127, 0xF8000413, 0); /* output */
tr1 = RTLNSMART(eif_non_attached_type(RTWCT(6127, dtype, dftype)));
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWC(7196, Dtype(tr1)))(tr1);
RTNHOOK(5,1);
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(6127, dtype)) = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(6);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6127, 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);
tr2 = ((up2x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(7203, "model", tr1))(tr1)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r);
RTNHOOK(6,2);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(6193, "reset", tr2))(tr2);
RTHOOK(7);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6126, 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);
tr2 = ((up2x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(7167, "on_error", tr1))(tr1)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r);
RTNHOOK(7,2);
{
static EIF_TYPE_INDEX typarr0[] = {0xFFF9,1,173,0xFF11,1043,0xFFFF};
EIF_TYPE_INDEX typres0;
static EIF_TYPE_INDEX typcache0 = INVALID_DTYPE;
typres0 = (typcache0 != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(dftype, typarr0)));
tr1 = RTLNTS(typres0, 2, 0);
}
tr3 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6127, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
((EIF_TYPED_VALUE *)tr1+1)->it_r = tr3;
RTAR(tr1,tr3);
ui4_1 = ((EIF_INTEGER_32) 1L);
{
static EIF_TYPE_INDEX typarr0[] = {292,205,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(2397, Dtype(tr4)))(tr4).it_r;
{
static EIF_TYPE_INDEX typarr0[] = {0xFF11,237,0xFF11,1043,0xFF11,0xFFF9,1,173,0xFF11,219,0xFFFF};
EIF_TYPE_INDEX typres0;
static EIF_TYPE_INDEX typcache0 = INVALID_DTYPE;
typres0 = (typcache0 != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(dftype, typarr0)));
tr5 = RTLNRW(typres0, 0, (EIF_POINTER) _A1044_35_2, (EIF_POINTER)(0),7202, tr3, 0, 1, -1, tr1, 1);
}
ur1 = RTCCL(tr5);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(6171, "attach", tr2))(tr2, ur1x);
RTHOOK(8);
RTDBGAA(Current, dtype, 6124, 0xF800010D, 0); /* history */
{
static EIF_TYPE_INDEX typarr0[] = {395,0xFF11,219,0xFFFF};
EIF_TYPE_INDEX typres0;
static EIF_TYPE_INDEX typcache0 = INVALID_DTYPE;
typres0 = (typcache0 != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(dftype, typarr0)));
tr1 = RTLN(typres0);
}
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWC(2544, Dtype(tr1)))(tr1);
RTNHOOK(8,1);
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(6124, dtype)) = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(9);
RTDBGAA(Current, dtype, 6121, 0x04000000, 1); /* error */
*(EIF_BOOLEAN *)(Current + RTWA(6121, dtype)) = (EIF_BOOLEAN) (EIF_BOOLEAN) 0;
RTHOOK(10);
RTDBGAA(Current, dtype, 6122, 0xF80000DB, 0); /* status_message */
tr1 = RTLNSMART(eif_non_attached_type(RTWCT(6122, dtype, dftype)));
tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6132, 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(4425, Dtype(tr1)))(tr1, ur1x);
RTNHOOK(10,1);
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(6122, dtype)) = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(11);
RTDBGAA(Current, dtype, 6123, 0xF80000DB, 0); /* output_message */
tr1 = RTLNSMART(eif_non_attached_type(RTWCT(6123, dtype, dftype)));
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWC(4330, Dtype(tr1)))(tr1);
RTNHOOK(11,1);
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(6123, dtype)) = (EIF_REFERENCE) RTCCL(tr1);
RTVI(Current, RTAL);
RTRS;
RTHOOK(12);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(3);
RTEE;
#undef up1
#undef up2
#undef ur1
#undef ur2
#undef ui4_1
}
/* {EV_WIDGET_ACTION_SEQUENCES_IMP}.create_resize_actions */
EIF_TYPED_VALUE F1003_9125 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "create_resize_actions";
RTEX;
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
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 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 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_POINTER tp1;
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_REFERENCE tr7 = NULL;
EIF_REFERENCE tr8 = NULL;
EIF_INTEGER_32 ti4_1;
EIF_BOOLEAN tb1;
EIF_REFERENCE Result = ((EIF_REFERENCE) 0);
RTCFDT;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(14);
RTLR(0,tr1);
RTLR(1,Result);
RTLR(2,Current);
RTLR(3,loc1);
RTLR(4,tr2);
RTLR(5,ur1);
RTLR(6,tr3);
RTLR(7,tr4);
RTLR(8,tr5);
RTLR(9,tr6);
RTLR(10,ur2);
RTLR(11,tr7);
RTLR(12,tr8);
RTLR(13,ur3);
RTLU (SK_REF, &Result);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTEAA(l_feature_name, 1002, Current, 1, 0, 14669);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(1002, Current, 14669);
RTIV(Current, RTAL);
RTHOOK(1);
RTDBGAL(Current, 0, 0xF8000450, 0,0); /* Result */
tr1 = RTLN(1104);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWC(32, Dtype(tr1)))(tr1);
RTNHOOK(1,1);
Result = (EIF_REFERENCE) RTCCL(tr1);
RTHOOK(2);
tp1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6987, dtype))(Current)).it_p);
up1 = tp1;
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(5045, 868))(Current, up1x)).it_b);
if ((EIF_BOOLEAN) !tb1) {
RTHOOK(3);
RTDBGAL(Current, 1, 0xF8000531, 0, 0); /* loc1 */
loc1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6985, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTHOOK(4);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(9742, "gtk_marshal", loc1))(loc1)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(4,1);
tp1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6987, dtype))(Current)).it_p);
up1 = tp1;
tr2 = ((up2x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(6370, "size_allocate_event_string", loc1))(loc1)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r);
ur1 = RTCCL(tr2);
{
static EIF_TYPE_INDEX typarr0[] = {0xFFF9,2,173,0xFF11,1200,205,0xFFFF};
EIF_TYPE_INDEX typres0;
static EIF_TYPE_INDEX typcache0 = INVALID_DTYPE;
typres0 = (typcache0 != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(dftype, typarr0)));
tr3 = RTLNTS(typres0, 3, 0);
}
tr4 = ((up2x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(9742, "gtk_marshal", loc1))(loc1)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r);
((EIF_TYPED_VALUE *)tr3+1)->it_r = tr4;
RTAR(tr3,tr4);
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6984, dtype))(Current)).it_i4);
((EIF_TYPED_VALUE *)tr3+2)->it_i4 = ti4_1;
ui4_1 = ((EIF_INTEGER_32) 4L);
{
static EIF_TYPE_INDEX typarr0[] = {292,205,0xFFFF};
EIF_TYPE_INDEX typres0;
static EIF_TYPE_INDEX typcache0 = INVALID_DTYPE;
typres0 = (typcache0 != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(dftype, typarr0)));
tr5 = RTLNSP2(eif_non_attached_type(typres0),0,ui4_1,sizeof(EIF_INTEGER_32), EIF_TRUE);
RT_SPECIAL_COUNT(tr5) = 4L;
memset(tr5, 0, RT_SPECIAL_VISIBLE_SIZE(tr5));
}
*((EIF_INTEGER_32 *)tr5+0) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 3L);
*((EIF_INTEGER_32 *)tr5+1) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 4L);
*((EIF_INTEGER_32 *)tr5+2) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 5L);
*((EIF_INTEGER_32 *)tr5+3) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 6L);
tr4 = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2397, Dtype(tr5)))(tr5).it_r;
{
static EIF_TYPE_INDEX typarr0[] = {0xFF11,237,0xFF11,1200,0xFF11,0xFFF9,4,173,205,205,205,205,0xFFFF};
EIF_TYPE_INDEX typres0;
static EIF_TYPE_INDEX typcache0 = INVALID_DTYPE;
typres0 = (typcache0 != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(dftype, typarr0)));
tr6 = RTLNRW(typres0, 0, (EIF_POINTER) _A1201_326_3_4_5_6, (EIF_POINTER)(0),8278, tr4, 0, 1, -1, tr3, 4);
}
ur2 = RTCCL(tr6);
tr7 = ((up2x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(9742, "gtk_marshal", loc1))(loc1)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r);
RTNHOOK(4,2);
tr8 = ((up2x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(8355, "size_allocate_translate_agent", tr7))(tr7)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r);
ur3 = RTCCL(tr8);
ub1 = (EIF_BOOLEAN) 0;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE, EIF_TYPED_VALUE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTVF(8351, "signal_connect", tr1))(tr1, up1x, ur1x, ur2x, ur3x, ub1x);
}
/* {EV_DIALOG}.initialize */
void F1259_11677 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "initialize";
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_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;
RTCFDT;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(7);
RTLR(0,Current);
RTLR(1,tr1);
RTLR(2,tr2);
RTLR(3,tr3);
RTLR(4,tr4);
RTLR(5,tr5);
RTLR(6,ur1);
RTLU (SK_VOID, NULL);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 1258, Current, 0, 0, 17581);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(1258, Current, 17581);
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("not_already_initialized", EX_PRE);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8398, dtype))(Current)).it_b);
RTTE((EIF_BOOLEAN) !tb1, label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(2);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6542, 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);
{
static EIF_TYPE_INDEX typarr0[] = {0xFFF9,1,173,0xFF11,0,0xFFFF};
EIF_TYPE_INDEX typres0;
typarr0[4] = 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[] = {292,205,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(2397, Dtype(tr4)))(tr4).it_r;
{
static EIF_TYPE_INDEX typarr0[] = {0xFF11,237,0xFF11,0,0xFF11,0xFFF9,1,173,0xFF11,1483,0xFFFF};
EIF_TYPE_INDEX typres0;
typarr0[3] = dftype;
typres0 = eif_compound_id(dftype, typarr0);
tr5 = RTLNRW(typres0, 0, (EIF_POINTER) _A1259_305_2, (EIF_POINTER)(0),9023, tr3, 0, 1, -1, tr2, 1);
}
ur1 = RTCCL(tr5);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(1705, "extend", tr1))(tr1, ur1x);
RTHOOK(3);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8388, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
RTNHOOK(3,1);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(10468, "disable_closeable", tr1))(tr1);
RTHOOK(4);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTWF(8392, 1255))(Current);
if (RTAL & CK_ENSURE) {
RTHOOK(5);
RTCT("is_initialized", EX_POST);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(8398, dtype))(Current)).it_b);
if (tb1) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(6);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(2);
RTEE;
#undef up1
#undef ur1
#undef ui4_1
}
/* {V_HASH_TABLE}.with_object_equality */
void F2580_31128 (EIF_REFERENCE Current)
{
GTCX
char *l_feature_name = "with_object_equality";
RTEX;
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 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_REFERENCE tr2 = NULL;
EIF_REFERENCE tr3 = NULL;
EIF_REFERENCE tr4 = NULL;
EIF_REFERENCE tr5 = NULL;
EIF_REFERENCE tr6 = NULL;
EIF_REFERENCE tr7 = NULL;
EIF_REFERENCE tr8 = NULL;
EIF_REFERENCE tr9 = NULL;
RTCFDT;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(12);
RTLR(0,Current);
RTLR(1,tr1);
RTLR(2,tr2);
RTLR(3,tr3);
RTLR(4,tr4);
RTLR(5,tr5);
RTLR(6,ur1);
RTLR(7,tr6);
RTLR(8,tr7);
RTLR(9,tr8);
RTLR(10,tr9);
RTLR(11,ur2);
RTLIU(12);
RTLU (SK_VOID, NULL);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 2579, Current, 0, 0, 36241);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(2579, Current, 36241);
RTIV(Current, RTAL);
RTHOOK(1);
RTDBGAA(Current, dtype, 24541, 0xF8000633, 0); /* key_equivalence */
{
static EIF_TYPE_INDEX typarr0[] = {0xFFF9,1,841,0,0xFFFF};
EIF_TYPE typres0;
typarr0[3] = dftype;
typres0 = eif_compound_id(dftype, typarr0);
tr1 = RTLNTS(typres0.id, 2, 0);
}
((EIF_TYPED_VALUE *)tr1+1)->it_r = Current;
RTAR(tr1,Current);
ui4_1 = ((EIF_INTEGER_32) 2L);
{
static EIF_TYPE_INDEX typarr0[] = {1606,870,0xFFFF};
EIF_TYPE typres0;
static EIF_TYPE typcache0 = {INVALID_DTYPE, 0};
typres0 = (typcache0.id != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(dftype, typarr0)));
tr3 = RTLNSP2(typres0.id,0,ui4_1,sizeof(EIF_INTEGER_32), EIF_TRUE);
RT_SPECIAL_COUNT(tr3) = 2L;
memset(tr3, 0, RT_SPECIAL_VISIBLE_SIZE(tr3));
}
*((EIF_INTEGER_32 *)tr3+0) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 2L);
*((EIF_INTEGER_32 *)tr3+1) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 3L);
tr2 = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(10747, Dtype(tr3)))(tr3).it_r;
{
static EIF_TYPE_INDEX typarr0[] = {1587,0,0xFFF9,2,841,870,870,0xFFFF};
EIF_TYPE typres0;
typarr0[1] = dftype;
typres0 = eif_compound_id(dftype, typarr0);
tr4 = RTLNRW(typres0.id, 0, (EIF_POINTER) _A2580_58_2_3, (EIF_POINTER)(0),24197, tr2, 0, 1, -1, tr1, 2);
}
RTAR(Current, tr4);
*(EIF_REFERENCE *)(Current + RTWA(24541, dtype)) = (EIF_REFERENCE) RTCCL(tr4);
RTHOOK(2);
RTDBGAA(Current, dtype, 24539, 0xF8000982, 0); /* key_hash */
{
static EIF_TYPE_INDEX typarr0[] = {0xFFF9,1,841,0,0xFFFF};
EIF_TYPE typres0;
typarr0[3] = dftype;
typres0 = eif_compound_id(dftype, typarr0);
tr1 = RTLNTS(typres0.id, 2, 0);
}
((EIF_TYPED_VALUE *)tr1+1)->it_r = Current;
RTAR(tr1,Current);
ui4_1 = ((EIF_INTEGER_32) 1L);
{
static EIF_TYPE_INDEX typarr0[] = {1606,870,0xFFFF};
EIF_TYPE typres0;
static EIF_TYPE typcache0 = {INVALID_DTYPE, 0};
typres0 = (typcache0.id != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(dftype, typarr0)));
tr3 = RTLNSP2(typres0.id,0,ui4_1,sizeof(EIF_INTEGER_32), EIF_TRUE);
RT_SPECIAL_COUNT(tr3) = 1L;
memset(tr3, 0, RT_SPECIAL_VISIBLE_SIZE(tr3));
}
*((EIF_INTEGER_32 *)tr3+0) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 2L);
tr2 = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(10747, Dtype(tr3)))(tr3).it_r;
{
static EIF_TYPE_INDEX typarr0[] = {2434,0,0xFFF9,1,841,870,870,0xFFFF};
EIF_TYPE typres0;
typarr0[1] = dftype;
typres0 = eif_compound_id(dftype, typarr0);
tr4 = RTLNRW(typres0.id, 0, (EIF_POINTER) _A2580_59_2, (EIF_POINTER)(0),23925, tr2, 0, 1, -1, tr1, 1);
}
RTAR(Current, tr4);
*(EIF_REFERENCE *)(Current + RTWA(24539, dtype)) = (EIF_REFERENCE) RTCCL(tr4);
RTHOOK(3);
RTDBGAA(Current, dtype, 24540, 0xF80009CA, 0); /* set */
tr1 = RTLNSMART(RTWCT(24540, dtype, dftype).id);
{
static EIF_TYPE_INDEX typarr0[] = {0xFFF9,1,841,0,0xFFFF};
EIF_TYPE typres0;
typarr0[3] = dftype;
typres0 = eif_compound_id(dftype, typarr0);
tr2 = RTLNTS(typres0.id, 2, 0);
}
((EIF_TYPED_VALUE *)tr2+1)->it_r = Current;
RTAR(tr2,Current);
ui4_1 = ((EIF_INTEGER_32) 2L);
{
static EIF_TYPE_INDEX typarr0[] = {1606,870,0xFFFF};
EIF_TYPE typres0;
static EIF_TYPE typcache0 = {INVALID_DTYPE, 0};
typres0 = (typcache0.id != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(dftype, typarr0)));
tr4 = RTLNSP2(typres0.id,0,ui4_1,sizeof(EIF_INTEGER_32), EIF_TRUE);
RT_SPECIAL_COUNT(tr4) = 2L;
memset(tr4, 0, RT_SPECIAL_VISIBLE_SIZE(tr4));
}
*((EIF_INTEGER_32 *)tr4+0) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 2L);
*((EIF_INTEGER_32 *)tr4+1) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 3L);
tr3 = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(10747, Dtype(tr4)))(tr4).it_r;
{
static EIF_TYPE_INDEX typarr0[] = {1587,0,0xFFF9,2,841,0xFFF9,2,841,870,0,0,0xFFF9,2,841,870,0,0,0xFFFF};
EIF_TYPE typres0;
typarr0[1] = dftype;
{
EIF_TYPE l_type;
l_type = RTWCT(9706, dtype, dftype);
typarr0[9] = l_type.annotations | 0xFF00;
typarr0[10] = l_type.id;
}
{
EIF_TYPE l_type;
l_type = RTWCT(9706, dtype, dftype);
typarr0[15] = l_type.annotations | 0xFF00;
typarr0[16] = l_type.id;
}
typres0 = eif_compound_id(dftype, typarr0);
tr5 = RTLNRW(typres0.id, 0, (EIF_POINTER) _A2580_63_2_3, (EIF_POINTER)(0),24544, tr3, 0, 1, -1, tr2, 2);
}
ur1 = RTCCL(tr5);
{
static EIF_TYPE_INDEX typarr0[] = {0xFFF9,1,841,0,0xFFFF};
EIF_TYPE typres0;
typarr0[3] = dftype;
typres0 = eif_compound_id(dftype, typarr0);
tr6 = RTLNTS(typres0.id, 2, 0);
}
((EIF_TYPED_VALUE *)tr6+1)->it_r = Current;
RTAR(tr6,Current);
ui4_2 = ((EIF_INTEGER_32) 1L);
{
static EIF_TYPE_INDEX typarr0[] = {1606,870,0xFFFF};
EIF_TYPE typres0;
static EIF_TYPE typcache0 = {INVALID_DTYPE, 0};
typres0 = (typcache0.id != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(dftype, typarr0)));
tr8 = RTLNSP2(typres0.id,0,ui4_2,sizeof(EIF_INTEGER_32), EIF_TRUE);
RT_SPECIAL_COUNT(tr8) = 1L;
memset(tr8, 0, RT_SPECIAL_VISIBLE_SIZE(tr8));
}
*((EIF_INTEGER_32 *)tr8+0) = (EIF_INTEGER_32) ((EIF_INTEGER_32) 2L);
tr7 = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(10747, Dtype(tr8)))(tr8).it_r;
{
static EIF_TYPE_INDEX typarr0[] = {2434,0,0xFFF9,1,841,0xFFF9,2,841,870,0,0,870,0xFFFF};
EIF_TYPE typres0;
typarr0[1] = dftype;
{
EIF_TYPE l_type;
l_type = RTWCT(9706, dtype, dftype);
typarr0[9] = l_type.annotations | 0xFF00;
typarr0[10] = l_type.id;
}
typres0 = eif_compound_id(dftype, typarr0);
tr9 = RTLNRW(typres0.id, 0, (EIF_POINTER) _A2580_64_2, (EIF_POINTER)(0),24545, tr7, 0, 1, -1, tr6, 1);
}
ur2 = RTCCL(tr9);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWC(24446, Dtype(tr1)))(tr1, ur1x, ur2x);
RTNHOOK(3,1);
RTAR(Current, tr1);
*(EIF_REFERENCE *)(Current + RTWA(24540, dtype)) = (EIF_REFERENCE) RTCCL(tr1);
RTVI(Current, RTAL);
RTRS;
RTHOOK(4);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(2);
RTEE;
#undef ur1
#undef ur2
#undef ui4_1
#undef ui4_2
}
/* {V_CONTAINER}.count_satisfying */
EIF_TYPED_VALUE F2459_30917 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "count_satisfying";
RTEX;
EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
#define arg1 arg1x.it_r
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 up3x = {{0}, SK_POINTER};
#define up3 up3x.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_INTEGER_32 ti4_1;
EIF_BOOLEAN tb1;
EIF_BOOLEAN tb2;
EIF_INTEGER_32 Result = ((EIF_INTEGER_32) 0);
RTCFDT;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(9);
RTLR(0,arg1);
RTLR(1,Current);
RTLR(2,tr1);
RTLR(3,tr2);
RTLR(4,tr3);
RTLR(5,tr4);
RTLR(6,tr5);
RTLR(7,ur1);
RTLR(8,loc1);
RTLIU(9);
RTLU (SK_INT32, &Result);
RTLU(SK_REF,&arg1);
RTLU (SK_REF, &Current);
RTLU(SK_REF, &loc1);
RTEAA(l_feature_name, 2458, Current, 1, 1, 35941);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(2458, Current, 35941);
if (arg1) {
{
static EIF_TYPE_INDEX typarr0[] = {1587,0,0xFFF9,1,841,0,0,0xFFFF};
EIF_TYPE typres0;
{
EIF_TYPE l_type;
l_type = RTWCT(9706, dtype, dftype);
typarr0[5] = l_type.annotations | 0xFF00;
typarr0[6] = l_type.id;
}
typres0 = eif_compound_id(dftype, typarr0);
RTCC(arg1, 2458, l_feature_name, 1, typres0, 0x00);
}
}
RTIV(Current, RTAL);
if ((RTAL & CK_REQUIRE) || RTAC) {
RTHOOK(1);
RTCT("pred_exists", EX_PRE);
RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
RTCK;
RTHOOK(2);
RTCT("pred_has_one_arg", EX_PRE);
ti4_1 = *(EIF_INTEGER_32 *)(arg1 + RTVA(14737, "open_count", arg1));
RTTE((EIF_BOOLEAN)(ti4_1 == ((EIF_INTEGER_32) 1L)), label_1);
RTCK;
RTHOOK(3);
RTCT("precondition_satisfied", EX_PRE);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(24428, 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);
tr2 = ((up2x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(24243, "domain", tr1))(tr1)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r);
RTNHOOK(3,2);
{
static EIF_TYPE_INDEX typarr0[] = {0xFFF9,2,841,0,1587,0,0xFFF9,1,841,0,0,0xFFFF};
EIF_TYPE typres0;
typarr0[3] = dftype;
{
EIF_TYPE l_type;
l_type = RTWCT(9706, dtype, dftype);
typarr0[9] = l_type.annotations | 0xFF00;
typarr0[10] = l_type.id;
}
typres0 = eif_compound_id(dftype, typarr0);
tr1 = RTLNTS(typres0.id, 3, 0);
}
((EIF_TYPED_VALUE *)tr1+1)->it_r = Current;
RTAR(tr1,Current);
((EIF_TYPED_VALUE *)tr1+2)->it_r = arg1;
RTAR(tr1,arg1);
ui4_1 = ((EIF_INTEGER_32) 1L);
{
static EIF_TYPE_INDEX typarr0[] = {1606,870,0xFFFF};
EIF_TYPE typres0;
static EIF_TYPE typcache0 = {INVALID_DTYPE, 0};
typres0 = (typcache0.id != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(dftype, typarr0)));
tr4 = RTLNSP2(typres0.id,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(10747, Dtype(tr4)))(tr4).it_r;
{
static EIF_TYPE_INDEX typarr0[] = {1587,0,0xFFF9,1,841,0,0,0xFFFF};
EIF_TYPE typres0;
typarr0[1] = dftype;
{
EIF_TYPE l_type;
l_type = RTWCT(9706, dtype, dftype);
typarr0[5] = l_type.annotations | 0xFF00;
typarr0[6] = l_type.id;
}
typres0 = eif_compound_id(dftype, typarr0);
tr5 = RTLNRW(typres0.id, 0, (EIF_POINTER) _A2459_44_2, (EIF_POINTER)(0),26649, tr3, 0, 1, 2458, tr1, 1);
}
ur1 = RTCCL(tr5);
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(24320, "for_all", tr2))(tr2, ur1x)).it_b);
RTTE(tb1, label_1);
RTCK;
RTJB;
label_1:
RTCF;
}
body:;
RTHOOK(4);
RTDBGAL(Current, 1, 0xF8000993, 0, 0); /* loc1 */
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(9705, "new_cursor", Current))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
loc1 = (EIF_REFERENCE) RTCCL(tr1);
for (;;) {
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(8417, "after", loc1))(loc1)).it_b);
if (tb1) break;
RTHOOK(5);
{
static EIF_TYPE_INDEX typarr0[] = {0xFFF9,1,841,0,0,0xFFFF};
EIF_TYPE typres0;
{
EIF_TYPE l_type;
l_type = RTWCT(9706, dtype, dftype);
typarr0[3] = l_type.annotations | 0xFF00;
typarr0[4] = l_type.id;
}
typres0 = eif_compound_id(dftype, typarr0);
tr1 = RTLNTS(typres0.id, 2, 0);
}
tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(23911, "item", loc1))(loc1)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
((EIF_TYPED_VALUE *)tr1+1)->it_r = tr2;
RTAR(tr1,tr2);
ur1 = RTCCL(tr1);
tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(14767, "item", arg1))(arg1, ur1x)).it_b);
if (tb2) {
RTHOOK(6);
RTDBGAL(Current, 0, 0x10000000, 1,0); /* Result */
Result++;
}
RTHOOK(7);
(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(8418, "forth", loc1))(loc1);
}
if (RTAL & CK_ENSURE) {
RTHOOK(8);
RTCT("definition", EX_POST);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(24428, dtype))(Current)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
tr2 = ((up2x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(24428, dtype))(Current)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r);
RTNHOOK(8,1);
tr3 = ((up3x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(24243, "domain", tr2))(tr2)), (((up3x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up3x.it_r = RTBU(up3x))), (up3x.type = SK_POINTER), up3x.it_r);
ur1 = RTCCL(arg1);
tr2 = ((up2x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(24324, "filtered", tr3))(tr3, ur1x)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r);
ur1 = RTCCL(tr2);
tr2 = ((up2x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(24251, "restricted", tr1))(tr1, ur1x)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r);
ti4_1 = *(EIF_INTEGER_32 *)(tr2 + RTVA(24245, "count", tr2));
if ((EIF_BOOLEAN)(Result == ti4_1)) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(9);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(4);
RTEE;
{ EIF_TYPED_VALUE r; r.type = SK_INT32; r.it_i4 = Result; return r; }
#undef up1
#undef up2
#undef up3
#undef ur1
#undef ui4_1
#undef arg1
}
/* {ETF_EVENT}.notify */
void F1533_8245 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
{
GTCX
char *l_feature_name = "notify";
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_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;
RTCFDT;
RTSN;
RTDA;
RTLD;
RTLI(8);
RTLR(0,arg1);
RTLR(1,Current);
RTLR(2,tr1);
RTLR(3,tr2);
RTLR(4,tr3);
RTLR(5,tr4);
RTLR(6,tr5);
RTLR(7,ur1);
RTLU (SK_VOID, NULL);
RTLU(SK_REF,&arg1);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 1532, Current, 0, 1, 13922);
RTSA(Dtype(Current));
RTSC;
RTME(Dtype(Current), 0);
RTGC;
RTDBGEAA(1532, Current, 13922);
RTCC(arg1, 1532, l_feature_name, 1, eif_attached_type(RTWCT(6174, Dtype(Current), dftype)));
RTIV(Current, RTAL);
RTHOOK(1);
tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(6169, Dtype(Current)))(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);
{
static EIF_TYPE_INDEX typarr0[] = {0xFFF9,2,173,0xFF11,0,0,0xFFFF};
EIF_TYPE_INDEX typres0;
typarr0[4] = dftype;
typarr0[5] = RTWCT(6174, Dtype(Current), dftype);
typres0 = eif_compound_id(dftype, typarr0);
tr2 = RTLNTS(typres0, 3, 0);
}
((EIF_TYPED_VALUE *)tr2+1)->it_r = Current;
RTAR(tr2,Current);
((EIF_TYPED_VALUE *)tr2+2)->it_r = arg1;
RTAR(tr2,arg1);
ui4_1 = ((EIF_INTEGER_32) 1L);
{
static EIF_TYPE_INDEX typarr0[] = {292,205,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(2397, Dtype(tr4)))(tr4).it_r;
{
static EIF_TYPE_INDEX typarr0[] = {0xFF11,237,0xFF11,0,0xFF11,0xFFF9,1,173,0xFF11,237,0xFF11,0,0,0xFFFF};
EIF_TYPE_INDEX typres0;
typarr0[3] = dftype;
typarr0[12] = RTWCT(6174, Dtype(Current), dftype);
typres0 = eif_compound_id(dftype, typarr0);
tr5 = RTLNRW(typres0, 0, (EIF_POINTER) _A1533_36_2, (EIF_POINTER)(0),6173, tr3, 0, 1, -1, tr2, 1);
}
ur1 = RTCCL(tr5);
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(1775, "do_all", tr1))(tr1, ur1x);
RTVI(Current, RTAL);
RTRS;
RTHOOK(2);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(3);
RTEE;
#undef up1
#undef ur1
#undef ui4_1
#undef arg1
}
/* {EV_TIMEOUT_IMP}.make */
void F1308_12159 (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 up2x = {{0}, SK_POINTER};
#define up2 up2x.it_p
EIF_TYPED_VALUE ui1_1x = {{0}, SK_INT8};
#define ui1_1 ui1_1x.it_i1
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_INTEGER_32 ti4_1;
EIF_INTEGER_8 ti1_1;
EIF_BOOLEAN tb1;
RTCFDT;
RTCDT;
RTSN;
RTDA;
RTLD;
RTLI(4);
RTLR(0,Current);
RTLR(1,tr1);
RTLR(2,tr2);
RTLR(3,tr3);
RTLU (SK_VOID, NULL);
RTLU (SK_REF, &Current);
RTEAA(l_feature_name, 1307, Current, 0, 0, 18062);
RTSA(dtype);
RTSC;
RTME(dtype, 0);
RTGC;
RTDBGEAA(1307, Current, 18062);
RTIV(Current, RTAL);
RTHOOK(1);
RTDBGAA(Current, dtype, 9347, 0xF80000ED, 0); /* timeout_agent_internal */
{
static EIF_TYPE_INDEX typarr0[] = {0xFFF9,2,173,0xFF11,1200,205,0xFFFF};
EIF_TYPE_INDEX typres0;
static EIF_TYPE_INDEX typcache0 = INVALID_DTYPE;
typres0 = (typcache0 != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(dftype, typarr0)));
tr1 = RTLNTS(typres0, 3, 0);
}
tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9345, 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);
tr3 = ((up2x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(9742, "gtk_marshal", tr2))(tr2)), (((up2x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up2x.it_r = RTBU(up2x))), (up2x.type = SK_POINTER), up2x.it_r);
((EIF_TYPED_VALUE *)tr1+1)->it_r = tr3;
RTAR(tr1,tr3);
ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(2802, dtype))(Current)).it_i4);
((EIF_TYPED_VALUE *)tr1+2)->it_i4 = ti4_1;
{
static EIF_TYPE_INDEX typarr0[] = {0xFF11,237,0xFF11,1200,0xFF11,0xFFF9,0,173,0xFFFF};
EIF_TYPE_INDEX typres0;
static EIF_TYPE_INDEX typcache0 = INVALID_DTYPE;
typres0 = (typcache0 != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(dftype, typarr0)));
tr2 = RTLNRW(typres0, 0, (EIF_POINTER) _A1201_322, (EIF_POINTER)(0),8274, 0, 0, 1, -1, tr1, 0);
}
RTAR(Current, tr2);
*(EIF_REFERENCE *)(Current + RTWA(9347, dtype)) = (EIF_REFERENCE) RTCCL(tr2);
RTHOOK(2);
ub1 = (EIF_BOOLEAN) 1;
(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(9332, dtype))(Current, ub1x);
if (RTAL & CK_ENSURE) {
RTHOOK(3);
RTCT("is_initialized", EX_POST);
ti1_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(9322, dtype))(Current)).it_i1);
ui1_1 = ti1_1;
tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(9328, dtype))(Current, ui1_1x)).it_b);
if (tb1) {
RTCK;
} else {
RTCF;
}
}
RTVI(Current, RTAL);
RTRS;
RTHOOK(4);
RTDBGLE;
RTMD(0);
RTLE;
RTLO(2);
RTEE;
#undef up1
#undef up2
#undef ui1_1
#undef ub1
}
