text: /*
   * Code for class NEW_TEST_SET
   */
  
  #include "eif_eiffel.h"
  #include "../E1/estructure.h"
  
  
  #ifdef __cplusplus
  extern "C" {
  #endif
  
  extern void F976_7392(EIF_REFERENCE);
  extern EIF_TYPED_VALUE F976_7393(EIF_REFERENCE);
  extern void F976_7394(EIF_REFERENCE);
  extern void F976_7395(EIF_REFERENCE);
  extern void F976_7396(EIF_REFERENCE);
  extern void F976_7397(EIF_REFERENCE);
  extern void EIF_Minit976(void);
  
  #ifdef __cplusplus
  }
  #endif
  
  
  #ifdef __cplusplus
  extern "C" {
  #endif
  
  
  #ifdef __cplusplus
  }
  #endif
  
  
  #ifdef __cplusplus
  extern "C" {
  #endif
  
  /* {NEW_TEST_SET}.on_prepare */
  void F976_7392 (EIF_REFERENCE Current)
  {
  	GTCX
  	char *l_feature_name = "on_prepare";
  	RTEX;
  	EIF_TYPED_VALUE ui4_1x = {{0}, SK_INT32};
  #define ui4_1 ui4_1x.it_i4
  	EIF_REFERENCE tr1 = NULL;
  	EIF_BOOLEAN tb1;
  	RTCDT;
  	RTSN;
  	RTDA;
  	RTLD;
  	
  	RTLI(2);
  	RTLR(0,Current);
  	RTLR(1,tr1);
  	RTLIU(2);
  	RTLU (SK_VOID, NULL);
  	RTLU (SK_REF, &Current);
  	
  	RTEAA(l_feature_name, 975, Current, 0, 0, 13686);
  	RTSA(dtype);
  	RTSC;
  	RTME(dtype, 0);
  	RTGC;
  	RTDBGEAA(975, Current, 13686);
  	RTIV(Current, RTAL);
  	RTHOOK(1);
  	RTDBGAA(Current, dtype, 5168, 0xF8000407, 0); /* b */
  	tr1 = RTLNSMART(RTWCT(5168, dtype, Dftype(Current)).id);
  	ui4_1 = ((EIF_INTEGER_32) 10L);
  	(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWC(6056, Dtype(tr1)))(tr1, ui4_1x);
  	RTNHOOK(1,1);
  	tr1 = RTCCL(tr1);
  	RTAR(Current, tr1);
  	*(EIF_REFERENCE *)(Current + RTWA(5168, dtype)) = (EIF_REFERENCE) tr1;
  	if (RTAL & CK_ENSURE) {
  		RTHOOK(2);
  		RTCT("prepared", EX_POST);
  		tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5153, dtype))(Current)).it_b);
  		if (tb1) {
  			RTCK;
  		} else {
  			RTCF;
  		}
  	}
  	RTVI(Current, RTAL);
  	RTRS;
  	RTHOOK(3);
  	RTDBGLE;
  	RTMD(0);
  	RTLE;
  	RTLO(2);
  	RTEE;
  #undef ui4_1
  }
  
  /* {NEW_TEST_SET}.b */
  EIF_TYPED_VALUE F976_7393 (EIF_REFERENCE Current)
  {
  	EIF_TYPED_VALUE r;
  	r.type = SK_REF;
  	r.it_r = *(EIF_REFERENCE *)(Current + RTWA(5168,Dtype(Current)));
  	return r;
  }
  
  
  /* {NEW_TEST_SET}.test_buffer */
  void F976_7394 (EIF_REFERENCE Current)
  {
  	GTCX
  	char *l_feature_name = "test_buffer";
  	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_TYPED_VALUE ub1x = {{0}, SK_BOOL};
  #define ub1 ub1x.it_b
  	EIF_REFERENCE tr1 = NULL;
  	EIF_REFERENCE tr2 = NULL;
  	EIF_INTEGER_32 ti4_1;
  	RTCDT;
  	RTSN;
  	RTDA;
  	RTLD;
  	
  	RTLI(4);
  	RTLR(0,tr1);
  	RTLR(1,ur1);
  	RTLR(2,Current);
  	RTLR(3,tr2);
  	RTLIU(4);
  	RTLU (SK_VOID, NULL);
  	RTLU (SK_REF, &Current);
  	
  	RTEAA(l_feature_name, 975, Current, 0, 0, 13688);
  	RTSA(dtype);
  	RTSC;
  	RTME(dtype, 0);
  	RTGC;
  	RTDBGEAA(975, Current, 13688);
  	RTIV(Current, RTAL);
  	RTHOOK(1);
  	tr1 = RTMS_EX_H("Initial capacity",16,1533681785);
  	ur1 = tr1;
  	tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5168, 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(6059, "capacity", tr2))(tr2)).it_i4);
  	ub1 = (EIF_BOOLEAN)(ti4_1 == ((EIF_INTEGER_32) 10L));
  	(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWF(5158, dtype))(Current, ur1x, ub1x);
  	RTHOOK(2);
  	tr1 = RTMS_EX_H("Initial count",13,373905012);
  	ur1 = tr1;
  	tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5168, 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(6058, "count", tr2))(tr2)).it_i4);
  	ub1 = (EIF_BOOLEAN)(ti4_1 == ((EIF_INTEGER_32) 0L));
  	(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWF(5158, dtype))(Current, ur1x, ub1x);
  	RTHOOK(3);
  	tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5168, 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);
  	ui4_1 = ((EIF_INTEGER_32) 5L);
  	(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(6062, "extend", tr1))(tr1, ui4_1x);
  	RTHOOK(4);
  	tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5168, 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);
  	ui4_1 = ((EIF_INTEGER_32) 8L);
  	(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(6062, "extend", tr1))(tr1, ui4_1x);
  	RTHOOK(5);
  	tr1 = RTMS_EX_H("Capacity",8,1333901177);
  	ur1 = tr1;
  	tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5168, 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(6059, "capacity", tr2))(tr2)).it_i4);
  	ub1 = (EIF_BOOLEAN)(ti4_1 == ((EIF_INTEGER_32) 10L));
  	(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWF(5158, dtype))(Current, ur1x, ub1x);
  	RTHOOK(6);
  	tr1 = RTMS_EX_H("Count",5,1870481524);
  	ur1 = tr1;
  	tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5168, 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);
  	ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(6058, "count", tr2))(tr2)).it_i4);
  	ub1 = (EIF_BOOLEAN)(ti4_1 == ((EIF_INTEGER_32) 2L));
  	(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWF(5158, dtype))(Current, ur1x, ub1x);
  	RTHOOK(7);
  	tr1 = RTMS_EX_H("Item",4,1232364909);
  	ur1 = tr1;
  	tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5168, 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);
  	ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(6057, "item", tr2))(tr2)).it_i4);
  	ub1 = (EIF_BOOLEAN)(ti4_1 == ((EIF_INTEGER_32) 5L));
  	(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWF(5158, dtype))(Current, ur1x, ub1x);
  	RTHOOK(8);
  	tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5168, 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);
  	(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(6063, "remove", tr1))(tr1);
  	RTHOOK(9);
  	tr1 = RTMS_EX_H("Capacity after remove",21,1894327909);
  	ur1 = tr1;
  	tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5168, 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_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(6059, "capacity", tr2))(tr2)).it_i4);
  	ub1 = (EIF_BOOLEAN)(ti4_1 == ((EIF_INTEGER_32) 10L));
  	(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWF(5158, dtype))(Current, ur1x, ub1x);
  	RTHOOK(10);
  	tr1 = RTMS_EX_H("Count after remove",18,1526878821);
  	ur1 = tr1;
  	tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5168, 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_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(6058, "count", tr2))(tr2)).it_i4);
  	ub1 = (EIF_BOOLEAN)(ti4_1 == ((EIF_INTEGER_32) 1L));
  	(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWF(5158, dtype))(Current, ur1x, ub1x);
  	RTHOOK(11);
  	tr1 = RTMS_EX_H("Item after remove",17,1265700197);
  	ur1 = tr1;
  	tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5168, 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);
  	ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(6057, "item", tr2))(tr2)).it_i4);
  	ub1 = (EIF_BOOLEAN)(ti4_1 == ((EIF_INTEGER_32) 8L));
  	(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWF(5158, dtype))(Current, ur1x, ub1x);
  	RTHOOK(12);
  	tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5168, 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);
  	(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(6063, "remove", tr1))(tr1);
  	RTHOOK(13);
  	tr1 = RTMS_EX_H("Capacity after remove 2",23,866151986);
  	ur1 = tr1;
  	tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5168, 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);
  	ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(6059, "capacity", tr2))(tr2)).it_i4);
  	ub1 = (EIF_BOOLEAN)(ti4_1 == ((EIF_INTEGER_32) 10L));
  	(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWF(5158, dtype))(Current, ur1x, ub1x);
  	RTHOOK(14);
  	tr1 = RTMS_EX_H("Count after remove 2",20,1561287730);
  	ur1 = tr1;
  	tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5168, 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);
  	ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(6058, "count", tr2))(tr2)).it_i4);
  	ub1 = (EIF_BOOLEAN)(ti4_1 == ((EIF_INTEGER_32) 0L));
  	(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWF(5158, dtype))(Current, ur1x, ub1x);
  	RTVI(Current, RTAL);
  	RTRS;
  	RTHOOK(15);
  	RTDBGLE;
  	RTMD(0);
  	RTLE;
  	RTLO(2);
  	RTEE;
  #undef up1
  #undef ur1
  #undef ui4_1
  #undef ub1
  }
  
  /* {NEW_TEST_SET}.test_queries */
  void F976_7395 (EIF_REFERENCE Current)
  {
  	GTCX
  	char *l_feature_name = "test_queries";
  	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_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_INTEGER_32 ti4_1;
  	EIF_BOOLEAN tb1;
  	EIF_BOOLEAN tb2;
  	RTCDT;
  	RTSN;
  	RTDA;
  	RTLD;
  	
  	RTLI(5);
  	RTLR(0,tr1);
  	RTLR(1,ur1);
  	RTLR(2,Current);
  	RTLR(3,tr2);
  	RTLR(4,loc1);
  	RTLIU(5);
  	RTLU (SK_VOID, NULL);
  	RTLU (SK_REF, &Current);
  	RTLU(SK_REF, &loc1);
  	
  	RTEAA(l_feature_name, 975, Current, 1, 0, 13689);
  	RTSA(dtype);
  	RTSC;
  	RTME(dtype, 0);
  	RTGC;
  	RTDBGEAA(975, Current, 13689);
  	RTIV(Current, RTAL);
  	RTHOOK(1);
  	tr1 = RTMS_EX_H("Empty",5,1836616313);
  	ur1 = tr1;
  	tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5168, 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);
  	tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(6060, "is_empty", tr2))(tr2)).it_b);
  	ub1 = tb1;
  	(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWF(5158, dtype))(Current, ur1x, ub1x);
  	RTHOOK(2);
  	tr1 = RTMS_EX_H("Not full",8,1998908012);
  	ur1 = tr1;
  	tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5168, 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);
  	tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(6061, "is_full", tr2))(tr2)).it_b);
  	ub1 = (EIF_BOOLEAN) !tb1;
  	(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWF(5158, dtype))(Current, ur1x, ub1x);
  	RTHOOK(3);
  	ui4_1 = ((EIF_INTEGER_32) 10L);
  	tr1 = RTLN(eif_new_type(218, 0x00).id);
  	*(EIF_INTEGER_32 *)tr1 = ((EIF_INTEGER_32) 1L);
  	tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4435, "interval", tr1))(tr1, ui4_1x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
  	tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(2163, "new_cursor", tr2))(tr2)), (((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(3146, "after", loc1))(loc1)).it_b);
  		if (tb1) break;
  		RTHOOK(4);
  		tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5168, 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(3145, "item", loc1))(loc1)).it_i4);
  		ui4_1 = ti4_1;
  		(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(6062, "extend", tr1))(tr1, ui4_1x);
  		RTHOOK(5);
  		(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(3147, "forth", loc1))(loc1);
  	}
  	RTHOOK(6);
  	tr1 = RTMS_EX_H("Not Empty",9,486049913);
  	ur1 = tr1;
  	tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5168, 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);
  	tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(6060, "is_empty", tr2))(tr2)).it_b);
  	ub1 = (EIF_BOOLEAN) !tb2;
  	(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWF(5158, dtype))(Current, ur1x, ub1x);
  	RTHOOK(7);
  	tr1 = RTMS_EX_H("Full",4,1182100588);
  	ur1 = tr1;
  	tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5168, 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);
  	tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(6061, "is_full", tr2))(tr2)).it_b);
  	ub1 = tb2;
  	(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWF(5158, dtype))(Current, ur1x, ub1x);
  	RTHOOK(8);
  	tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5168, 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);
  	(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(6063, "remove", tr1))(tr1);
  	RTHOOK(9);
  	tr1 = RTMS_EX_H("Not Empty",9,486049913);
  	ur1 = tr1;
  	tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5168, 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);
  	tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(6060, "is_empty", tr2))(tr2)).it_b);
  	ub1 = (EIF_BOOLEAN) !tb2;
  	(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWF(5158, dtype))(Current, ur1x, ub1x);
  	RTHOOK(10);
  	tr1 = RTMS_EX_H("Not Full",8,1462037100);
  	ur1 = tr1;
  	tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5168, 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);
  	tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(6061, "is_full", tr2))(tr2)).it_b);
  	ub1 = (EIF_BOOLEAN) !tb2;
  	(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWF(5158, dtype))(Current, ur1x, ub1x);
  	RTVI(Current, RTAL);
  	RTRS;
  	RTHOOK(11);
  	RTDBGLE;
  	RTMD(0);
  	RTLE;
  	RTLO(3);
  	RTEE;
  #undef up1
  #undef ur1
  #undef ui4_1
  #undef ub1
  }
  
  /* {NEW_TEST_SET}.test_wipe_out */
  void F976_7396 (EIF_REFERENCE Current)
  {
  	GTCX
  	char *l_feature_name = "test_wipe_out";
  	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_TYPED_VALUE ub1x = {{0}, SK_BOOL};
  #define ub1 ub1x.it_b
  	EIF_REFERENCE tr1 = NULL;
  	EIF_REFERENCE tr2 = NULL;
  	EIF_BOOLEAN tb1;
  	RTCDT;
  	RTSN;
  	RTDA;
  	RTLD;
  	
  	RTLI(4);
  	RTLR(0,Current);
  	RTLR(1,tr1);
  	RTLR(2,ur1);
  	RTLR(3,tr2);
  	RTLIU(4);
  	RTLU (SK_VOID, NULL);
  	RTLU (SK_REF, &Current);
  	
  	RTEAA(l_feature_name, 975, Current, 0, 0, 13690);
  	RTSA(dtype);
  	RTSC;
  	RTME(dtype, 0);
  	RTGC;
  	RTDBGEAA(975, Current, 13690);
  	RTIV(Current, RTAL);
  	RTHOOK(1);
  	tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5168, 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);
  	ui4_1 = ((EIF_INTEGER_32) -1L);
  	(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(6062, "extend", tr1))(tr1, ui4_1x);
  	RTHOOK(2);
  	tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5168, 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);
  	ui4_1 = ((EIF_INTEGER_32) -2L);
  	(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(6062, "extend", tr1))(tr1, ui4_1x);
  	RTHOOK(3);
  	tr1 = RTMS_EX_H("Not Empty",9,486049913);
  	ur1 = tr1;
  	tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5168, 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);
  	tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(6060, "is_empty", tr2))(tr2)).it_b);
  	ub1 = (EIF_BOOLEAN) !tb1;
  	(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWF(5158, dtype))(Current, ur1x, ub1x);
  	RTHOOK(4);
  	tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5168, 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);
  	(FUNCTION_CAST(void, (EIF_REFERENCE)) RTVF(6064, "wipe_out", tr1))(tr1);
  	RTHOOK(5);
  	tr1 = RTMS_EX_H("Empty",5,1836616313);
  	ur1 = tr1;
  	tr2 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTWF(5168, 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);
  	tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(6060, "is_empty", tr2))(tr2)).it_b);
  	ub1 = tb1;
  	(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWF(5158, dtype))(Current, ur1x, ub1x);
  	RTVI(Current, RTAL);
  	RTRS;
  	RTHOOK(6);
  	RTDBGLE;
  	RTMD(0);
  	RTLE;
  	RTLO(2);
  	RTEE;
  #undef up1
  #undef ur1
  #undef ui4_1
  #undef ub1
  }
  
  /* {NEW_TEST_SET}.test_char */
  void F976_7397 (EIF_REFERENCE Current)
  {
  	GTCX
  	char *l_feature_name = "test_char";
  	RTEX;
  	EIF_REFERENCE loc1 = (EIF_REFERENCE) 0;
  	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_TYPED_VALUE uc1x = {{0}, SK_CHAR8};
  #define uc1 uc1x.it_c1
  	EIF_REFERENCE tr1 = NULL;
  	EIF_INTEGER_32 ti4_1;
  	RTCDT;
  	RTSN;
  	RTDA;
  	RTLD;
  	
  	RTLI(4);
  	RTLR(0,loc1);
  	RTLR(1,Current);
  	RTLR(2,tr1);
  	RTLR(3,ur1);
  	RTLIU(4);
  	RTLU (SK_VOID, NULL);
  	RTLU (SK_REF, &Current);
  	RTLU(SK_REF, &loc1);
  	
  	RTEAA(l_feature_name, 975, Current, 1, 0, 13691);
  	RTSA(dtype);
  	RTSC;
  	RTME(dtype, 0);
  	RTGC;
  	RTDBGEAA(975, Current, 13691);
  	RTIV(Current, RTAL);
  	RTHOOK(1);
  	RTDBGAL(1, 0xF800040C, 0, 0); /* loc1 */
  	{
  		static EIF_TYPE_INDEX typarr0[] = {0xFF01,1036,197,0xFFFF};
  		EIF_TYPE typres0;
  		static EIF_TYPE typcache0 = {INVALID_DTYPE, 0};
  		
  		typres0 = (typcache0.id != INVALID_DTYPE ? typcache0 : (typcache0 = eif_compound_id(Dftype(Current), typarr0)));
  		tr1 = RTLN(typres0.id);
  	}
  	ui4_1 = ((EIF_INTEGER_32) 3L);
  	(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWC(6056, Dtype(tr1)))(tr1, ui4_1x);
  	RTNHOOK(1,1);
  	loc1 = (EIF_REFERENCE) RTCCL(tr1);
  	RTHOOK(2);
  	uc1 = (EIF_CHARACTER_8) 'M';
  	(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(6062, "extend", loc1))(loc1, uc1x);
  	RTHOOK(3);
  	tr1 = RTMS_EX_H("Count",5,1870481524);
  	ur1 = tr1;
  	ti4_1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(6058, "count", loc1))(loc1)).it_i4);
  	ub1 = (EIF_BOOLEAN)(ti4_1 == ((EIF_INTEGER_32) 1L));
  	(FUNCTION_CAST(void, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTWF(5158, dtype))(Current, ur1x, ub1x);
  	RTVI(Current, RTAL);
  	RTRS;
  	RTHOOK(4);
  	RTDBGLE;
  	RTMD(0);
  	RTLE;
  	RTLO(3);
  	RTEE;
  #undef ur1
  #undef ui4_1
  #undef ub1
  #undef uc1
  }
  
  void EIF_Minit976 (void)
  {
  	GTCX
  }
  
  
  #ifdef __cplusplus
  }
  #endif
  