text: /*
   * Code for class CODE_VALIDITY_CHECKER
   */
  
  #include "eif_eiffel.h"
  #include "../E1/estructure.h"
  
  
  #ifdef __cplusplus
  extern "C" {
  #endif
  
  extern EIF_TYPED_VALUE F977_7398(EIF_REFERENCE, EIF_TYPED_VALUE);
  extern EIF_TYPED_VALUE F977_7399(EIF_REFERENCE, EIF_TYPED_VALUE);
  extern EIF_TYPED_VALUE F977_7400(EIF_REFERENCE, EIF_TYPED_VALUE);
  extern EIF_TYPED_VALUE F977_7401(EIF_REFERENCE, EIF_TYPED_VALUE);
  extern EIF_TYPED_VALUE F977_7402(EIF_REFERENCE, EIF_TYPED_VALUE);
  extern EIF_TYPED_VALUE F977_7403(EIF_REFERENCE, EIF_TYPED_VALUE);
  extern EIF_TYPED_VALUE F977_7404(EIF_REFERENCE, EIF_TYPED_VALUE);
  extern EIF_TYPED_VALUE F977_7405(EIF_REFERENCE, EIF_TYPED_VALUE);
  extern EIF_TYPED_VALUE F977_7406(EIF_REFERENCE, EIF_TYPED_VALUE);
  extern EIF_TYPED_VALUE F977_7407(EIF_REFERENCE, EIF_TYPED_VALUE);
  extern EIF_TYPED_VALUE F977_7408(EIF_REFERENCE, EIF_TYPED_VALUE);
  extern EIF_TYPED_VALUE F977_7409(EIF_REFERENCE, EIF_TYPED_VALUE);
  extern EIF_TYPED_VALUE F977_7410(EIF_REFERENCE, EIF_TYPED_VALUE);
  extern EIF_TYPED_VALUE F977_7411(EIF_REFERENCE, EIF_TYPED_VALUE);
  extern EIF_TYPED_VALUE F977_7412(EIF_REFERENCE, EIF_TYPED_VALUE);
  extern EIF_TYPED_VALUE F977_7413(EIF_REFERENCE, EIF_TYPED_VALUE);
  extern EIF_TYPED_VALUE F977_7414(EIF_REFERENCE, EIF_TYPED_VALUE);
  extern EIF_TYPED_VALUE F977_7415(EIF_REFERENCE, EIF_TYPED_VALUE);
  extern EIF_TYPED_VALUE F977_7416(EIF_REFERENCE, EIF_TYPED_VALUE);
  extern EIF_TYPED_VALUE F977_7417(EIF_REFERENCE, EIF_TYPED_VALUE);
  extern EIF_TYPED_VALUE F977_7418(EIF_REFERENCE, EIF_TYPED_VALUE);
  extern EIF_TYPED_VALUE F977_7419(EIF_REFERENCE, EIF_TYPED_VALUE);
  extern EIF_TYPED_VALUE F977_7420(EIF_REFERENCE, EIF_TYPED_VALUE);
  extern EIF_TYPED_VALUE F977_7421(EIF_REFERENCE, EIF_TYPED_VALUE);
  extern EIF_TYPED_VALUE F977_7422(EIF_REFERENCE, EIF_TYPED_VALUE);
  extern EIF_TYPED_VALUE F977_7423(EIF_REFERENCE, EIF_TYPED_VALUE);
  extern void EIF_Minit977(void);
  
  #ifdef __cplusplus
  }
  #endif
  
  
  #ifdef __cplusplus
  extern "C" {
  #endif
  
  
  #ifdef __cplusplus
  }
  #endif
  
  
  #ifdef __cplusplus
  extern "C" {
  #endif
  
  /* {CODE_VALIDITY_CHECKER}.is_code */
  EIF_TYPED_VALUE F977_7398 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
  {
  	GTCX
  	char *l_feature_name = "is_code";
  	RTEX;
  #define arg1 arg1x.it_r
  	EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
  #define ur1 ur1x.it_r
  	EIF_BOOLEAN tb1;
  	EIF_BOOLEAN tb2;
  	EIF_BOOLEAN tb3;
  	EIF_BOOLEAN tb4;
  	EIF_BOOLEAN tb5;
  	EIF_BOOLEAN tb6;
  	EIF_BOOLEAN tb7;
  	EIF_BOOLEAN tb8;
  	EIF_BOOLEAN tb9;
  	EIF_BOOLEAN tb10;
  	EIF_BOOLEAN tb11;
  	EIF_BOOLEAN tb12;
  	EIF_BOOLEAN tb13;
  	EIF_BOOLEAN tb14;
  	EIF_BOOLEAN tb15;
  	EIF_BOOLEAN tb16;
  	EIF_BOOLEAN tb17;
  	EIF_BOOLEAN tb18;
  	EIF_BOOLEAN tb19;
  	EIF_BOOLEAN tb20;
  	EIF_BOOLEAN tb21;
  	EIF_BOOLEAN tb22;
  	EIF_BOOLEAN tb23;
  	EIF_BOOLEAN tb24;
  	EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0);
  	
  	RTCDT;
  	RTSN;
  	RTDA;
  	RTLD;
  	
  	
  	RTLI(3);
  	RTLR(0,arg1);
  	RTLR(1,ur1);
  	RTLR(2,Current);
  	RTLIU(3);
  	RTLU (SK_BOOL, &Result);
  	RTLU(SK_REF,&arg1);
  	RTLU (SK_REF, &Current);
  	
  	RTEAA(l_feature_name, 976, Current, 0, 1, 13692);
  	RTSA(dtype);
  	RTSC;
  	RTME(dtype, 0);
  	RTGC;
  	RTDBGEAA(976, Current, 13692);
  	RTCC(arg1, 976, l_feature_name, 1, eif_new_type(232, 0x01), 0x01);
  	RTIV(Current, RTAL);
  	if ((RTAL & CK_REQUIRE) || RTAC) {
  		RTHOOK(1);
  		RTCT("s_exists", EX_PRE);
  		RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
  		RTCK;
  		RTJB;
  label_1:
  		RTCF;
  	}
  body:;
  	RTHOOK(2);
  	RTDBGAL(0, 0x04000000, 1,0); /* Result */
  	tb1 = '\01';
  	tb2 = '\01';
  	tb3 = '\01';
  	tb4 = '\01';
  	tb5 = '\01';
  	tb6 = '\01';
  	tb7 = '\01';
  	tb8 = '\01';
  	tb9 = '\01';
  	tb10 = '\01';
  	tb11 = '\01';
  	tb12 = '\01';
  	tb13 = '\01';
  	tb14 = '\01';
  	tb15 = '\01';
  	tb16 = '\01';
  	tb17 = '\01';
  	tb18 = '\01';
  	tb19 = '\01';
  	tb20 = '\01';
  	tb21 = '\01';
  	tb22 = '\01';
  	tb23 = '\01';
  	ur1 = RTCCL(arg1);
  	tb24 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(5191, dtype))(Current, ur1x)).it_b);
  	if (!tb24) {
  		ur1 = RTCCL(arg1);
  		tb24 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(5194, dtype))(Current, ur1x)).it_b);
  		tb23 = tb24;
  	}
  	if (!tb23) {
  		ur1 = RTCCL(arg1);
  		tb23 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(5174, dtype))(Current, ur1x)).it_b);
  		tb22 = tb23;
  	}
  	if (!tb22) {
  		ur1 = RTCCL(arg1);
  		tb22 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(5175, dtype))(Current, ur1x)).it_b);
  		tb21 = tb22;
  	}
  	if (!tb21) {
  		ur1 = RTCCL(arg1);
  		tb21 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(5176, dtype))(Current, ur1x)).it_b);
  		tb20 = tb21;
  	}
  	if (!tb20) {
  		ur1 = RTCCL(arg1);
  		tb20 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(5196, dtype))(Current, ur1x)).it_b);
  		tb19 = tb20;
  	}
  	if (!tb19) {
  		ur1 = RTCCL(arg1);
  		tb19 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(5190, dtype))(Current, ur1x)).it_b);
  		tb18 = tb19;
  	}
  	if (!tb18) {
  		ur1 = RTCCL(arg1);
  		tb18 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(5182, dtype))(Current, ur1x)).it_b);
  		tb17 = tb18;
  	}
  	if (!tb17) {
  		ur1 = RTCCL(arg1);
  		tb17 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(5183, dtype))(Current, ur1x)).it_b);
  		tb16 = tb17;
  	}
  	if (!tb16) {
  		ur1 = RTCCL(arg1);
  		tb16 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(5184, dtype))(Current, ur1x)).it_b);
  		tb15 = tb16;
  	}
  	if (!tb15) {
  		ur1 = RTCCL(arg1);
  		tb15 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(5185, dtype))(Current, ur1x)).it_b);
  		tb14 = tb15;
  	}
  	if (!tb14) {
  		ur1 = RTCCL(arg1);
  		tb14 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(5198, dtype))(Current, ur1x)).it_b);
  		tb13 = tb14;
  	}
  	if (!tb13) {
  		ur1 = RTCCL(arg1);
  		tb13 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(5193, dtype))(Current, ur1x)).it_b);
  		tb12 = tb13;
  	}
  	if (!tb12) {
  		ur1 = RTCCL(arg1);
  		tb12 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(5186, dtype))(Current, ur1x)).it_b);
  		tb11 = tb12;
  	}
  	if (!tb11) {
  		ur1 = RTCCL(arg1);
  		tb11 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(5187, dtype))(Current, ur1x)).it_b);
  		tb10 = tb11;
  	}
  	if (!tb10) {
  		ur1 = RTCCL(arg1);
  		tb10 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(5179, dtype))(Current, ur1x)).it_b);
  		tb9 = tb10;
  	}
  	if (!tb9) {
  		ur1 = RTCCL(arg1);
  		tb9 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(5180, dtype))(Current, ur1x)).it_b);
  		tb8 = tb9;
  	}
  	if (!tb8) {
  		ur1 = RTCCL(arg1);
  		tb8 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(5181, dtype))(Current, ur1x)).it_b);
  		tb7 = tb8;
  	}
  	if (!tb7) {
  		ur1 = RTCCL(arg1);
  		tb7 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(5188, dtype))(Current, ur1x)).it_b);
  		tb6 = tb7;
  	}
  	if (!tb6) {
  		ur1 = RTCCL(arg1);
  		tb6 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(5189, dtype))(Current, ur1x)).it_b);
  		tb5 = tb6;
  	}
  	if (!tb5) {
  		ur1 = RTCCL(arg1);
  		tb5 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(5192, dtype))(Current, ur1x)).it_b);
  		tb4 = tb5;
  	}
  	if (!tb4) {
  		ur1 = RTCCL(arg1);
  		tb4 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(5195, dtype))(Current, ur1x)).it_b);
  		tb3 = tb4;
  	}
  	if (!tb3) {
  		ur1 = RTCCL(arg1);
  		tb3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(5178, dtype))(Current, ur1x)).it_b);
  		tb2 = tb3;
  	}
  	if (!tb2) {
  		ur1 = RTCCL(arg1);
  		tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(5177, dtype))(Current, ur1x)).it_b);
  		tb1 = tb2;
  	}
  	Result = (EIF_BOOLEAN) tb1;
  	RTVI(Current, RTAL);
  	RTRS;
  	RTHOOK(3);
  	RTDBGLE;
  	RTMD(0);
  	RTLE;
  	RTLO(3);
  	RTEE;
  	{ EIF_TYPED_VALUE r; r.type = SK_BOOL; r.it_b = Result; return r; }
  #undef ur1
  #undef arg1
  }
  
  /* {CODE_VALIDITY_CHECKER}.is_day */
  EIF_TYPED_VALUE F977_7399 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
  {
  	GTCX
  	char *l_feature_name = "is_day";
  	RTEX;
  #define arg1 arg1x.it_r
  	EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
  #define ur1 ur1x.it_r
  	EIF_REFERENCE tr1 = NULL;
  	EIF_BOOLEAN tb1;
  	EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0);
  	
  	RTCDT;
  	RTSN;
  	RTDA;
  	RTLD;
  	
  	
  	RTLI(4);
  	RTLR(0,arg1);
  	RTLR(1,tr1);
  	RTLR(2,ur1);
  	RTLR(3,Current);
  	RTLIU(4);
  	RTLU (SK_BOOL, &Result);
  	RTLU(SK_REF,&arg1);
  	RTLU (SK_REF, &Current);
  	
  	RTEAA(l_feature_name, 976, Current, 0, 1, 13693);
  	RTSA(dtype);
  	RTSC;
  	RTME(dtype, 0);
  	RTGC;
  	RTDBGEAA(976, Current, 13693);
  	RTCC(arg1, 976, l_feature_name, 1, eif_new_type(232, 0x01), 0x01);
  	RTIV(Current, RTAL);
  	if ((RTAL & CK_REQUIRE) || RTAC) {
  		RTHOOK(1);
  		RTCT("s_exists", EX_PRE);
  		RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
  		RTCK;
  		RTJB;
  label_1:
  		RTCF;
  	}
  body:;
  	RTHOOK(2);
  	RTDBGAL(0, 0x04000000, 1,0); /* Result */
  	tr1 = RTMS_EX_H("dd",2,25700);
  	ur1 = tr1;
  	tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", arg1))(arg1, ur1x)).it_b);
  	Result = (EIF_BOOLEAN) tb1;
  	if (RTAL & CK_ENSURE) {
  		RTHOOK(3);
  		RTCT("definition", EX_POST);
  		tr1 = RTMS_EX_H("dd",2,25700);
  		ur1 = tr1;
  		tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", arg1))(arg1, ur1x)).it_b);
  		if ((EIF_BOOLEAN)(Result == tb1)) {
  			RTCK;
  		} else {
  			RTCF;
  		}
  	}
  	RTVI(Current, RTAL);
  	RTRS;
  	RTHOOK(4);
  	RTDBGLE;
  	RTMD(0);
  	RTLE;
  	RTLO(3);
  	RTEE;
  	{ EIF_TYPED_VALUE r; r.type = SK_BOOL; r.it_b = Result; return r; }
  #undef ur1
  #undef arg1
  }
  
  /* {CODE_VALIDITY_CHECKER}.is_day0 */
  EIF_TYPED_VALUE F977_7400 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
  {
  	GTCX
  	char *l_feature_name = "is_day0";
  	RTEX;
  #define arg1 arg1x.it_r
  	EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
  #define ur1 ur1x.it_r
  	EIF_REFERENCE tr1 = NULL;
  	EIF_BOOLEAN tb1;
  	EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0);
  	
  	RTCDT;
  	RTSN;
  	RTDA;
  	RTLD;
  	
  	
  	RTLI(4);
  	RTLR(0,arg1);
  	RTLR(1,tr1);
  	RTLR(2,ur1);
  	RTLR(3,Current);
  	RTLIU(4);
  	RTLU (SK_BOOL, &Result);
  	RTLU(SK_REF,&arg1);
  	RTLU (SK_REF, &Current);
  	
  	RTEAA(l_feature_name, 976, Current, 0, 1, 13694);
  	RTSA(dtype);
  	RTSC;
  	RTME(dtype, 0);
  	RTGC;
  	RTDBGEAA(976, Current, 13694);
  	RTCC(arg1, 976, l_feature_name, 1, eif_new_type(232, 0x01), 0x01);
  	RTIV(Current, RTAL);
  	if ((RTAL & CK_REQUIRE) || RTAC) {
  		RTHOOK(1);
  		RTCT("s_exists", EX_PRE);
  		RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
  		RTCK;
  		RTJB;
  label_1:
  		RTCF;
  	}
  body:;
  	RTHOOK(2);
  	RTDBGAL(0, 0x04000000, 1,0); /* Result */
  	tr1 = RTMS_EX_H("[0]dd",5,812125796);
  	ur1 = tr1;
  	tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", arg1))(arg1, ur1x)).it_b);
  	Result = (EIF_BOOLEAN) tb1;
  	if (RTAL & CK_ENSURE) {
  		RTHOOK(3);
  		RTCT("definition", EX_POST);
  		tr1 = RTMS_EX_H("[0]dd",5,812125796);
  		ur1 = tr1;
  		tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", arg1))(arg1, ur1x)).it_b);
  		if ((EIF_BOOLEAN)(Result == tb1)) {
  			RTCK;
  		} else {
  			RTCF;
  		}
  	}
  	RTVI(Current, RTAL);
  	RTRS;
  	RTHOOK(4);
  	RTDBGLE;
  	RTMD(0);
  	RTLE;
  	RTLO(3);
  	RTEE;
  	{ EIF_TYPED_VALUE r; r.type = SK_BOOL; r.it_b = Result; return r; }
  #undef ur1
  #undef arg1
  }
  
  /* {CODE_VALIDITY_CHECKER}.is_day_text */
  EIF_TYPED_VALUE F977_7401 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
  {
  	GTCX
  	char *l_feature_name = "is_day_text";
  	RTEX;
  #define arg1 arg1x.it_r
  	EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
  #define ur1 ur1x.it_r
  	EIF_REFERENCE tr1 = NULL;
  	EIF_BOOLEAN tb1;
  	EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0);
  	
  	RTCDT;
  	RTSN;
  	RTDA;
  	RTLD;
  	
  	
  	RTLI(4);
  	RTLR(0,arg1);
  	RTLR(1,tr1);
  	RTLR(2,ur1);
  	RTLR(3,Current);
  	RTLIU(4);
  	RTLU (SK_BOOL, &Result);
  	RTLU(SK_REF,&arg1);
  	RTLU (SK_REF, &Current);
  	
  	RTEAA(l_feature_name, 976, Current, 0, 1, 13695);
  	RTSA(dtype);
  	RTSC;
  	RTME(dtype, 0);
  	RTGC;
  	RTDBGEAA(976, Current, 13695);
  	RTCC(arg1, 976, l_feature_name, 1, eif_new_type(232, 0x01), 0x01);
  	RTIV(Current, RTAL);
  	if ((RTAL & CK_REQUIRE) || RTAC) {
  		RTHOOK(1);
  		RTCT("s_exists", EX_PRE);
  		RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
  		RTCK;
  		RTJB;
  label_1:
  		RTCF;
  	}
  body:;
  	RTHOOK(2);
  	RTDBGAL(0, 0x04000000, 1,0); /* Result */
  	tr1 = RTMS_EX_H("ddd",3,6579300);
  	ur1 = tr1;
  	tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", arg1))(arg1, ur1x)).it_b);
  	Result = (EIF_BOOLEAN) tb1;
  	if (RTAL & CK_ENSURE) {
  		RTHOOK(3);
  		RTCT("definition", EX_POST);
  		tr1 = RTMS_EX_H("ddd",3,6579300);
  		ur1 = tr1;
  		tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", arg1))(arg1, ur1x)).it_b);
  		if ((EIF_BOOLEAN)(Result == tb1)) {
  			RTCK;
  		} else {
  			RTCF;
  		}
  	}
  	RTVI(Current, RTAL);
  	RTRS;
  	RTHOOK(4);
  	RTDBGLE;
  	RTMD(0);
  	RTLE;
  	RTLO(3);
  	RTEE;
  	{ EIF_TYPED_VALUE r; r.type = SK_BOOL; r.it_b = Result; return r; }
  #undef ur1
  #undef arg1
  }
  
  /* {CODE_VALIDITY_CHECKER}.is_year4 */
  EIF_TYPED_VALUE F977_7402 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
  {
  	GTCX
  	char *l_feature_name = "is_year4";
  	RTEX;
  #define arg1 arg1x.it_r
  	EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
  #define ur1 ur1x.it_r
  	EIF_REFERENCE tr1 = NULL;
  	EIF_BOOLEAN tb1;
  	EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0);
  	
  	RTCDT;
  	RTSN;
  	RTDA;
  	RTLD;
  	
  	
  	RTLI(4);
  	RTLR(0,arg1);
  	RTLR(1,tr1);
  	RTLR(2,ur1);
  	RTLR(3,Current);
  	RTLIU(4);
  	RTLU (SK_BOOL, &Result);
  	RTLU(SK_REF,&arg1);
  	RTLU (SK_REF, &Current);
  	
  	RTEAA(l_feature_name, 976, Current, 0, 1, 13696);
  	RTSA(dtype);
  	RTSC;
  	RTME(dtype, 0);
  	RTGC;
  	RTDBGEAA(976, Current, 13696);
  	RTCC(arg1, 976, l_feature_name, 1, eif_new_type(232, 0x01), 0x01);
  	RTIV(Current, RTAL);
  	if ((RTAL & CK_REQUIRE) || RTAC) {
  		RTHOOK(1);
  		RTCT("s_exists", EX_PRE);
  		RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
  		RTCK;
  		RTJB;
  label_1:
  		RTCF;
  	}
  body:;
  	RTHOOK(2);
  	RTDBGAL(0, 0x04000000, 1,0); /* Result */
  	tr1 = RTMS_EX_H("yyyy",4,2038004089);
  	ur1 = tr1;
  	tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", arg1))(arg1, ur1x)).it_b);
  	Result = (EIF_BOOLEAN) tb1;
  	if (RTAL & CK_ENSURE) {
  		RTHOOK(3);
  		RTCT("definition", EX_POST);
  		tr1 = RTMS_EX_H("yyyy",4,2038004089);
  		ur1 = tr1;
  		tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", arg1))(arg1, ur1x)).it_b);
  		if ((EIF_BOOLEAN)(Result == tb1)) {
  			RTCK;
  		} else {
  			RTCF;
  		}
  	}
  	RTVI(Current, RTAL);
  	RTRS;
  	RTHOOK(4);
  	RTDBGLE;
  	RTMD(0);
  	RTLE;
  	RTLO(3);
  	RTEE;
  	{ EIF_TYPED_VALUE r; r.type = SK_BOOL; r.it_b = Result; return r; }
  #undef ur1
  #undef arg1
  }
  
  /* {CODE_VALIDITY_CHECKER}.is_year2 */
  EIF_TYPED_VALUE F977_7403 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
  {
  	GTCX
  	char *l_feature_name = "is_year2";
  	RTEX;
  #define arg1 arg1x.it_r
  	EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
  #define ur1 ur1x.it_r
  	EIF_REFERENCE tr1 = NULL;
  	EIF_BOOLEAN tb1;
  	EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0);
  	
  	RTCDT;
  	RTSN;
  	RTDA;
  	RTLD;
  	
  	
  	RTLI(4);
  	RTLR(0,arg1);
  	RTLR(1,tr1);
  	RTLR(2,ur1);
  	RTLR(3,Current);
  	RTLIU(4);
  	RTLU (SK_BOOL, &Result);
  	RTLU(SK_REF,&arg1);
  	RTLU (SK_REF, &Current);
  	
  	RTEAA(l_feature_name, 976, Current, 0, 1, 13697);
  	RTSA(dtype);
  	RTSC;
  	RTME(dtype, 0);
  	RTGC;
  	RTDBGEAA(976, Current, 13697);
  	RTCC(arg1, 976, l_feature_name, 1, eif_new_type(232, 0x01), 0x01);
  	RTIV(Current, RTAL);
  	if ((RTAL & CK_REQUIRE) || RTAC) {
  		RTHOOK(1);
  		RTCT("s_exists", EX_PRE);
  		RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
  		RTCK;
  		RTJB;
  label_1:
  		RTCF;
  	}
  body:;
  	RTHOOK(2);
  	RTDBGAL(0, 0x04000000, 1,0); /* Result */
  	tr1 = RTMS_EX_H("yy",2,31097);
  	ur1 = tr1;
  	tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", arg1))(arg1, ur1x)).it_b);
  	Result = (EIF_BOOLEAN) tb1;
  	if (RTAL & CK_ENSURE) {
  		RTHOOK(3);
  		RTCT("definition", EX_POST);
  		tr1 = RTMS_EX_H("yy",2,31097);
  		ur1 = tr1;
  		tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", arg1))(arg1, ur1x)).it_b);
  		if ((EIF_BOOLEAN)(Result == tb1)) {
  			RTCK;
  		} else {
  			RTCF;
  		}
  	}
  	RTVI(Current, RTAL);
  	RTRS;
  	RTHOOK(4);
  	RTDBGLE;
  	RTMD(0);
  	RTLE;
  	RTLO(3);
  	RTEE;
  	{ EIF_TYPED_VALUE r; r.type = SK_BOOL; r.it_b = Result; return r; }
  #undef ur1
  #undef arg1
  }
  
  /* {CODE_VALIDITY_CHECKER}.is_month */
  EIF_TYPED_VALUE F977_7404 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
  {
  	GTCX
  	char *l_feature_name = "is_month";
  	RTEX;
  #define arg1 arg1x.it_r
  	EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
  #define ur1 ur1x.it_r
  	EIF_REFERENCE tr1 = NULL;
  	EIF_BOOLEAN tb1;
  	EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0);
  	
  	RTCDT;
  	RTSN;
  	RTDA;
  	RTLD;
  	
  	
  	RTLI(4);
  	RTLR(0,arg1);
  	RTLR(1,tr1);
  	RTLR(2,ur1);
  	RTLR(3,Current);
  	RTLIU(4);
  	RTLU (SK_BOOL, &Result);
  	RTLU(SK_REF,&arg1);
  	RTLU (SK_REF, &Current);
  	
  	RTEAA(l_feature_name, 976, Current, 0, 1, 13698);
  	RTSA(dtype);
  	RTSC;
  	RTME(dtype, 0);
  	RTGC;
  	RTDBGEAA(976, Current, 13698);
  	RTCC(arg1, 976, l_feature_name, 1, eif_new_type(232, 0x01), 0x01);
  	RTIV(Current, RTAL);
  	if ((RTAL & CK_REQUIRE) || RTAC) {
  		RTHOOK(1);
  		RTCT("s_exists", EX_PRE);
  		RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
  		RTCK;
  		RTJB;
  label_1:
  		RTCF;
  	}
  body:;
  	RTHOOK(2);
  	RTDBGAL(0, 0x04000000, 1,0); /* Result */
  	tr1 = RTMS_EX_H("mm",2,28013);
  	ur1 = tr1;
  	tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", arg1))(arg1, ur1x)).it_b);
  	Result = (EIF_BOOLEAN) tb1;
  	if (RTAL & CK_ENSURE) {
  		RTHOOK(3);
  		RTCT("definition", EX_POST);
  		tr1 = RTMS_EX_H("mm",2,28013);
  		ur1 = tr1;
  		tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", arg1))(arg1, ur1x)).it_b);
  		if ((EIF_BOOLEAN)(Result == tb1)) {
  			RTCK;
  		} else {
  			RTCF;
  		}
  	}
  	RTVI(Current, RTAL);
  	RTRS;
  	RTHOOK(4);
  	RTDBGLE;
  	RTMD(0);
  	RTLE;
  	RTLO(3);
  	RTEE;
  	{ EIF_TYPED_VALUE r; r.type = SK_BOOL; r.it_b = Result; return r; }
  #undef ur1
  #undef arg1
  }
  
  /* {CODE_VALIDITY_CHECKER}.is_month0 */
  EIF_TYPED_VALUE F977_7405 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
  {
  	GTCX
  	char *l_feature_name = "is_month0";
  	RTEX;
  #define arg1 arg1x.it_r
  	EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
  #define ur1 ur1x.it_r
  	EIF_REFERENCE tr1 = NULL;
  	EIF_BOOLEAN tb1;
  	EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0);
  	
  	RTCDT;
  	RTSN;
  	RTDA;
  	RTLD;
  	
  	
  	RTLI(4);
  	RTLR(0,arg1);
  	RTLR(1,tr1);
  	RTLR(2,ur1);
  	RTLR(3,Current);
  	RTLIU(4);
  	RTLU (SK_BOOL, &Result);
  	RTLU(SK_REF,&arg1);
  	RTLU (SK_REF, &Current);
  	
  	RTEAA(l_feature_name, 976, Current, 0, 1, 13699);
  	RTSA(dtype);
  	RTSC;
  	RTME(dtype, 0);
  	RTGC;
  	RTDBGEAA(976, Current, 13699);
  	RTCC(arg1, 976, l_feature_name, 1, eif_new_type(232, 0x01), 0x01);
  	RTIV(Current, RTAL);
  	if ((RTAL & CK_REQUIRE) || RTAC) {
  		RTHOOK(1);
  		RTCT("s_exists", EX_PRE);
  		RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
  		RTCK;
  		RTJB;
  label_1:
  		RTCF;
  	}
  body:;
  	RTHOOK(2);
  	RTDBGAL(0, 0x04000000, 1,0); /* Result */
  	tr1 = RTMS_EX_H("[0]mm",5,812128109);
  	ur1 = tr1;
  	tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", arg1))(arg1, ur1x)).it_b);
  	Result = (EIF_BOOLEAN) tb1;
  	if (RTAL & CK_ENSURE) {
  		RTHOOK(3);
  		RTCT("definition", EX_POST);
  		tr1 = RTMS_EX_H("[0]mm",5,812128109);
  		ur1 = tr1;
  		tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", arg1))(arg1, ur1x)).it_b);
  		if ((EIF_BOOLEAN)(Result == tb1)) {
  			RTCK;
  		} else {
  			RTCF;
  		}
  	}
  	RTVI(Current, RTAL);
  	RTRS;
  	RTHOOK(4);
  	RTDBGLE;
  	RTMD(0);
  	RTLE;
  	RTLO(3);
  	RTEE;
  	{ EIF_TYPED_VALUE r; r.type = SK_BOOL; r.it_b = Result; return r; }
  #undef ur1
  #undef arg1
  }
  
  /* {CODE_VALIDITY_CHECKER}.is_month_text */
  EIF_TYPED_VALUE F977_7406 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
  {
  	GTCX
  	char *l_feature_name = "is_month_text";
  	RTEX;
  #define arg1 arg1x.it_r
  	EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
  #define ur1 ur1x.it_r
  	EIF_REFERENCE tr1 = NULL;
  	EIF_BOOLEAN tb1;
  	EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0);
  	
  	RTCDT;
  	RTSN;
  	RTDA;
  	RTLD;
  	
  	
  	RTLI(4);
  	RTLR(0,arg1);
  	RTLR(1,tr1);
  	RTLR(2,ur1);
  	RTLR(3,Current);
  	RTLIU(4);
  	RTLU (SK_BOOL, &Result);
  	RTLU(SK_REF,&arg1);
  	RTLU (SK_REF, &Current);
  	
  	RTEAA(l_feature_name, 976, Current, 0, 1, 13700);
  	RTSA(dtype);
  	RTSC;
  	RTME(dtype, 0);
  	RTGC;
  	RTDBGEAA(976, Current, 13700);
  	RTCC(arg1, 976, l_feature_name, 1, eif_new_type(232, 0x01), 0x01);
  	RTIV(Current, RTAL);
  	if ((RTAL & CK_REQUIRE) || RTAC) {
  		RTHOOK(1);
  		RTCT("s_exists", EX_PRE);
  		RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
  		RTCK;
  		RTJB;
  label_1:
  		RTCF;
  	}
  body:;
  	RTHOOK(2);
  	RTDBGAL(0, 0x04000000, 1,0); /* Result */
  	tr1 = RTMS_EX_H("mmm",3,7171437);
  	ur1 = tr1;
  	tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", arg1))(arg1, ur1x)).it_b);
  	Result = (EIF_BOOLEAN) tb1;
  	if (RTAL & CK_ENSURE) {
  		RTHOOK(3);
  		RTCT("definition", EX_POST);
  		tr1 = RTMS_EX_H("mmm",3,7171437);
  		ur1 = tr1;
  		tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", arg1))(arg1, ur1x)).it_b);
  		if ((EIF_BOOLEAN)(Result == tb1)) {
  			RTCK;
  		} else {
  			RTCF;
  		}
  	}
  	RTVI(Current, RTAL);
  	RTRS;
  	RTHOOK(4);
  	RTDBGLE;
  	RTMD(0);
  	RTLE;
  	RTLO(3);
  	RTEE;
  	{ EIF_TYPED_VALUE r; r.type = SK_BOOL; r.it_b = Result; return r; }
  #undef ur1
  #undef arg1
  }
  
  /* {CODE_VALIDITY_CHECKER}.is_hour */
  EIF_TYPED_VALUE F977_7407 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
  {
  	GTCX
  	char *l_feature_name = "is_hour";
  	RTEX;
  #define arg1 arg1x.it_r
  	EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
  #define ur1 ur1x.it_r
  	EIF_REFERENCE tr1 = NULL;
  	EIF_BOOLEAN tb1;
  	EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0);
  	
  	RTCDT;
  	RTSN;
  	RTDA;
  	RTLD;
  	
  	
  	RTLI(4);
  	RTLR(0,arg1);
  	RTLR(1,tr1);
  	RTLR(2,ur1);
  	RTLR(3,Current);
  	RTLIU(4);
  	RTLU (SK_BOOL, &Result);
  	RTLU(SK_REF,&arg1);
  	RTLU (SK_REF, &Current);
  	
  	RTEAA(l_feature_name, 976, Current, 0, 1, 13701);
  	RTSA(dtype);
  	RTSC;
  	RTME(dtype, 0);
  	RTGC;
  	RTDBGEAA(976, Current, 13701);
  	RTCC(arg1, 976, l_feature_name, 1, eif_new_type(232, 0x01), 0x01);
  	RTIV(Current, RTAL);
  	if ((RTAL & CK_REQUIRE) || RTAC) {
  		RTHOOK(1);
  		RTCT("s_exists", EX_PRE);
  		RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
  		RTCK;
  		RTJB;
  label_1:
  		RTCF;
  	}
  body:;
  	RTHOOK(2);
  	RTDBGAL(0, 0x04000000, 1,0); /* Result */
  	tr1 = RTMS_EX_H("hh",2,26728);
  	ur1 = tr1;
  	tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", arg1))(arg1, ur1x)).it_b);
  	Result = (EIF_BOOLEAN) tb1;
  	if (RTAL & CK_ENSURE) {
  		RTHOOK(3);
  		RTCT("definition", EX_POST);
  		tr1 = RTMS_EX_H("hh",2,26728);
  		ur1 = tr1;
  		tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", arg1))(arg1, ur1x)).it_b);
  		if ((EIF_BOOLEAN)(Result == tb1)) {
  			RTCK;
  		} else {
  			RTCF;
  		}
  	}
  	RTVI(Current, RTAL);
  	RTRS;
  	RTHOOK(4);
  	RTDBGLE;
  	RTMD(0);
  	RTLE;
  	RTLO(3);
  	RTEE;
  	{ EIF_TYPED_VALUE r; r.type = SK_BOOL; r.it_b = Result; return r; }
  #undef ur1
  #undef arg1
  }
  
  /* {CODE_VALIDITY_CHECKER}.is_hour0 */
  EIF_TYPED_VALUE F977_7408 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
  {
  	GTCX
  	char *l_feature_name = "is_hour0";
  	RTEX;
  #define arg1 arg1x.it_r
  	EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
  #define ur1 ur1x.it_r
  	EIF_REFERENCE tr1 = NULL;
  	EIF_BOOLEAN tb1;
  	EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0);
  	
  	RTCDT;
  	RTSN;
  	RTDA;
  	RTLD;
  	
  	
  	RTLI(4);
  	RTLR(0,arg1);
  	RTLR(1,tr1);
  	RTLR(2,ur1);
  	RTLR(3,Current);
  	RTLIU(4);
  	RTLU (SK_BOOL, &Result);
  	RTLU(SK_REF,&arg1);
  	RTLU (SK_REF, &Current);
  	
  	RTEAA(l_feature_name, 976, Current, 0, 1, 13702);
  	RTSA(dtype);
  	RTSC;
  	RTME(dtype, 0);
  	RTGC;
  	RTDBGEAA(976, Current, 13702);
  	RTCC(arg1, 976, l_feature_name, 1, eif_new_type(232, 0x01), 0x01);
  	RTIV(Current, RTAL);
  	if ((RTAL & CK_REQUIRE) || RTAC) {
  		RTHOOK(1);
  		RTCT("s_exists", EX_PRE);
  		RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
  		RTCK;
  		RTJB;
  label_1:
  		RTCF;
  	}
  body:;
  	RTHOOK(2);
  	RTDBGAL(0, 0x04000000, 1,0); /* Result */
  	tr1 = RTMS_EX_H("[0]hh",5,812126824);
  	ur1 = tr1;
  	tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", arg1))(arg1, ur1x)).it_b);
  	Result = (EIF_BOOLEAN) tb1;
  	if (RTAL & CK_ENSURE) {
  		RTHOOK(3);
  		RTCT("definition", EX_POST);
  		tr1 = RTMS_EX_H("[0]hh",5,812126824);
  		ur1 = tr1;
  		tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", arg1))(arg1, ur1x)).it_b);
  		if ((EIF_BOOLEAN)(Result == tb1)) {
  			RTCK;
  		} else {
  			RTCF;
  		}
  	}
  	RTVI(Current, RTAL);
  	RTRS;
  	RTHOOK(4);
  	RTDBGLE;
  	RTMD(0);
  	RTLE;
  	RTLO(3);
  	RTEE;
  	{ EIF_TYPED_VALUE r; r.type = SK_BOOL; r.it_b = Result; return r; }
  #undef ur1
  #undef arg1
  }
  
  /* {CODE_VALIDITY_CHECKER}.is_hour12 */
  EIF_TYPED_VALUE F977_7409 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
  {
  	GTCX
  	char *l_feature_name = "is_hour12";
  	RTEX;
  #define arg1 arg1x.it_r
  	EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
  #define ur1 ur1x.it_r
  	EIF_REFERENCE tr1 = NULL;
  	EIF_BOOLEAN tb1;
  	EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0);
  	
  	RTCDT;
  	RTSN;
  	RTDA;
  	RTLD;
  	
  	
  	RTLI(4);
  	RTLR(0,arg1);
  	RTLR(1,tr1);
  	RTLR(2,ur1);
  	RTLR(3,Current);
  	RTLIU(4);
  	RTLU (SK_BOOL, &Result);
  	RTLU(SK_REF,&arg1);
  	RTLU (SK_REF, &Current);
  	
  	RTEAA(l_feature_name, 976, Current, 0, 1, 13703);
  	RTSA(dtype);
  	RTSC;
  	RTME(dtype, 0);
  	RTGC;
  	RTDBGEAA(976, Current, 13703);
  	RTCC(arg1, 976, l_feature_name, 1, eif_new_type(232, 0x01), 0x01);
  	RTIV(Current, RTAL);
  	if ((RTAL & CK_REQUIRE) || RTAC) {
  		RTHOOK(1);
  		RTCT("s_exists", EX_PRE);
  		RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
  		RTCK;
  		RTJB;
  label_1:
  		RTCF;
  	}
  body:;
  	RTHOOK(2);
  	RTDBGAL(0, 0x04000000, 1,0); /* Result */
  	tr1 = RTMS_EX_H("hh12",4,1751658802);
  	ur1 = tr1;
  	tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", arg1))(arg1, ur1x)).it_b);
  	Result = (EIF_BOOLEAN) tb1;
  	if (RTAL & CK_ENSURE) {
  		RTHOOK(3);
  		RTCT("definition", EX_POST);
  		tr1 = RTMS_EX_H("hh12",4,1751658802);
  		ur1 = tr1;
  		tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", arg1))(arg1, ur1x)).it_b);
  		if ((EIF_BOOLEAN)(Result == tb1)) {
  			RTCK;
  		} else {
  			RTCF;
  		}
  	}
  	RTVI(Current, RTAL);
  	RTRS;
  	RTHOOK(4);
  	RTDBGLE;
  	RTMD(0);
  	RTLE;
  	RTLO(3);
  	RTEE;
  	{ EIF_TYPED_VALUE r; r.type = SK_BOOL; r.it_b = Result; return r; }
  #undef ur1
  #undef arg1
  }
  
  /* {CODE_VALIDITY_CHECKER}.is_hour12_0 */
  EIF_TYPED_VALUE F977_7410 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
  {
  	GTCX
  	char *l_feature_name = "is_hour12_0";
  	RTEX;
  #define arg1 arg1x.it_r
  	EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
  #define ur1 ur1x.it_r
  	EIF_REFERENCE tr1 = NULL;
  	EIF_BOOLEAN tb1;
  	EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0);
  	
  	RTCDT;
  	RTSN;
  	RTDA;
  	RTLD;
  	
  	
  	RTLI(4);
  	RTLR(0,arg1);
  	RTLR(1,tr1);
  	RTLR(2,ur1);
  	RTLR(3,Current);
  	RTLIU(4);
  	RTLU (SK_BOOL, &Result);
  	RTLU(SK_REF,&arg1);
  	RTLU (SK_REF, &Current);
  	
  	RTEAA(l_feature_name, 976, Current, 0, 1, 13704);
  	RTSA(dtype);
  	RTSC;
  	RTME(dtype, 0);
  	RTGC;
  	RTDBGEAA(976, Current, 13704);
  	RTCC(arg1, 976, l_feature_name, 1, eif_new_type(232, 0x01), 0x01);
  	RTIV(Current, RTAL);
  	if ((RTAL & CK_REQUIRE) || RTAC) {
  		RTHOOK(1);
  		RTCT("s_exists", EX_PRE);
  		RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
  		RTCK;
  		RTJB;
  label_1:
  		RTCF;
  	}
  body:;
  	RTHOOK(2);
  	RTDBGAL(0, 0x04000000, 1,0); /* Result */
  	tr1 = RTMS_EX_H("[0]hh12",7,403988786);
  	ur1 = tr1;
  	tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", arg1))(arg1, ur1x)).it_b);
  	Result = (EIF_BOOLEAN) tb1;
  	if (RTAL & CK_ENSURE) {
  		RTHOOK(3);
  		RTCT("definition", EX_POST);
  		tr1 = RTMS_EX_H("[0]hh12",7,403988786);
  		ur1 = tr1;
  		tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", arg1))(arg1, ur1x)).it_b);
  		if ((EIF_BOOLEAN)(Result == tb1)) {
  			RTCK;
  		} else {
  			RTCF;
  		}
  	}
  	RTVI(Current, RTAL);
  	RTRS;
  	RTHOOK(4);
  	RTDBGLE;
  	RTMD(0);
  	RTLE;
  	RTLO(3);
  	RTEE;
  	{ EIF_TYPED_VALUE r; r.type = SK_BOOL; r.it_b = Result; return r; }
  #undef ur1
  #undef arg1
  }
  
  /* {CODE_VALIDITY_CHECKER}.is_minute */
  EIF_TYPED_VALUE F977_7411 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
  {
  	GTCX
  	char *l_feature_name = "is_minute";
  	RTEX;
  #define arg1 arg1x.it_r
  	EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
  #define ur1 ur1x.it_r
  	EIF_REFERENCE tr1 = NULL;
  	EIF_BOOLEAN tb1;
  	EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0);
  	
  	RTCDT;
  	RTSN;
  	RTDA;
  	RTLD;
  	
  	
  	RTLI(4);
  	RTLR(0,arg1);
  	RTLR(1,tr1);
  	RTLR(2,ur1);
  	RTLR(3,Current);
  	RTLIU(4);
  	RTLU (SK_BOOL, &Result);
  	RTLU(SK_REF,&arg1);
  	RTLU (SK_REF, &Current);
  	
  	RTEAA(l_feature_name, 976, Current, 0, 1, 13705);
  	RTSA(dtype);
  	RTSC;
  	RTME(dtype, 0);
  	RTGC;
  	RTDBGEAA(976, Current, 13705);
  	RTCC(arg1, 976, l_feature_name, 1, eif_new_type(232, 0x01), 0x01);
  	RTIV(Current, RTAL);
  	if ((RTAL & CK_REQUIRE) || RTAC) {
  		RTHOOK(1);
  		RTCT("s_exists", EX_PRE);
  		RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
  		RTCK;
  		RTJB;
  label_1:
  		RTCF;
  	}
  body:;
  	RTHOOK(2);
  	RTDBGAL(0, 0x04000000, 1,0); /* Result */
  	tr1 = RTMS_EX_H("mi",2,28009);
  	ur1 = tr1;
  	tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", arg1))(arg1, ur1x)).it_b);
  	Result = (EIF_BOOLEAN) tb1;
  	if (RTAL & CK_ENSURE) {
  		RTHOOK(3);
  		RTCT("definition", EX_POST);
  		tr1 = RTMS_EX_H("mi",2,28009);
  		ur1 = tr1;
  		tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", arg1))(arg1, ur1x)).it_b);
  		if ((EIF_BOOLEAN)(Result == tb1)) {
  			RTCK;
  		} else {
  			RTCF;
  		}
  	}
  	RTVI(Current, RTAL);
  	RTRS;
  	RTHOOK(4);
  	RTDBGLE;
  	RTMD(0);
  	RTLE;
  	RTLO(3);
  	RTEE;
  	{ EIF_TYPED_VALUE r; r.type = SK_BOOL; r.it_b = Result; return r; }
  #undef ur1
  #undef arg1
  }
  
  /* {CODE_VALIDITY_CHECKER}.is_minute0 */
  EIF_TYPED_VALUE F977_7412 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
  {
  	GTCX
  	char *l_feature_name = "is_minute0";
  	RTEX;
  #define arg1 arg1x.it_r
  	EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
  #define ur1 ur1x.it_r
  	EIF_REFERENCE tr1 = NULL;
  	EIF_BOOLEAN tb1;
  	EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0);
  	
  	RTCDT;
  	RTSN;
  	RTDA;
  	RTLD;
  	
  	
  	RTLI(4);
  	RTLR(0,arg1);
  	RTLR(1,tr1);
  	RTLR(2,ur1);
  	RTLR(3,Current);
  	RTLIU(4);
  	RTLU (SK_BOOL, &Result);
  	RTLU(SK_REF,&arg1);
  	RTLU (SK_REF, &Current);
  	
  	RTEAA(l_feature_name, 976, Current, 0, 1, 13706);
  	RTSA(dtype);
  	RTSC;
  	RTME(dtype, 0);
  	RTGC;
  	RTDBGEAA(976, Current, 13706);
  	RTCC(arg1, 976, l_feature_name, 1, eif_new_type(232, 0x01), 0x01);
  	RTIV(Current, RTAL);
  	if ((RTAL & CK_REQUIRE) || RTAC) {
  		RTHOOK(1);
  		RTCT("s_exists", EX_PRE);
  		RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
  		RTCK;
  		RTJB;
  label_1:
  		RTCF;
  	}
  body:;
  	RTHOOK(2);
  	RTDBGAL(0, 0x04000000, 1,0); /* Result */
  	tr1 = RTMS_EX_H("[0]mi",5,812128105);
  	ur1 = tr1;
  	tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", arg1))(arg1, ur1x)).it_b);
  	Result = (EIF_BOOLEAN) tb1;
  	if (RTAL & CK_ENSURE) {
  		RTHOOK(3);
  		RTCT("definition", EX_POST);
  		tr1 = RTMS_EX_H("[0]mi",5,812128105);
  		ur1 = tr1;
  		tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", arg1))(arg1, ur1x)).it_b);
  		if ((EIF_BOOLEAN)(Result == tb1)) {
  			RTCK;
  		} else {
  			RTCF;
  		}
  	}
  	RTVI(Current, RTAL);
  	RTRS;
  	RTHOOK(4);
  	RTDBGLE;
  	RTMD(0);
  	RTLE;
  	RTLO(3);
  	RTEE;
  	{ EIF_TYPED_VALUE r; r.type = SK_BOOL; r.it_b = Result; return r; }
  #undef ur1
  #undef arg1
  }
  
  /* {CODE_VALIDITY_CHECKER}.is_second */
  EIF_TYPED_VALUE F977_7413 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
  {
  	GTCX
  	char *l_feature_name = "is_second";
  	RTEX;
  #define arg1 arg1x.it_r
  	EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
  #define ur1 ur1x.it_r
  	EIF_REFERENCE tr1 = NULL;
  	EIF_BOOLEAN tb1;
  	EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0);
  	
  	RTCDT;
  	RTSN;
  	RTDA;
  	RTLD;
  	
  	
  	RTLI(4);
  	RTLR(0,arg1);
  	RTLR(1,tr1);
  	RTLR(2,ur1);
  	RTLR(3,Current);
  	RTLIU(4);
  	RTLU (SK_BOOL, &Result);
  	RTLU(SK_REF,&arg1);
  	RTLU (SK_REF, &Current);
  	
  	RTEAA(l_feature_name, 976, Current, 0, 1, 13707);
  	RTSA(dtype);
  	RTSC;
  	RTME(dtype, 0);
  	RTGC;
  	RTDBGEAA(976, Current, 13707);
  	RTCC(arg1, 976, l_feature_name, 1, eif_new_type(232, 0x01), 0x01);
  	RTIV(Current, RTAL);
  	if ((RTAL & CK_REQUIRE) || RTAC) {
  		RTHOOK(1);
  		RTCT("s_exists", EX_PRE);
  		RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
  		RTCK;
  		RTJB;
  label_1:
  		RTCF;
  	}
  body:;
  	RTHOOK(2);
  	RTDBGAL(0, 0x04000000, 1,0); /* Result */
  	tr1 = RTMS_EX_H("ss",2,29555);
  	ur1 = tr1;
  	tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", arg1))(arg1, ur1x)).it_b);
  	Result = (EIF_BOOLEAN) tb1;
  	if (RTAL & CK_ENSURE) {
  		RTHOOK(3);
  		RTCT("definition", EX_POST);
  		tr1 = RTMS_EX_H("ss",2,29555);
  		ur1 = tr1;
  		tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", arg1))(arg1, ur1x)).it_b);
  		if ((EIF_BOOLEAN)(Result == tb1)) {
  			RTCK;
  		} else {
  			RTCF;
  		}
  	}
  	RTVI(Current, RTAL);
  	RTRS;
  	RTHOOK(4);
  	RTDBGLE;
  	RTMD(0);
  	RTLE;
  	RTLO(3);
  	RTEE;
  	{ EIF_TYPED_VALUE r; r.type = SK_BOOL; r.it_b = Result; return r; }
  #undef ur1
  #undef arg1
  }
  
  /* {CODE_VALIDITY_CHECKER}.is_second0 */
  EIF_TYPED_VALUE F977_7414 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
  {
  	GTCX
  	char *l_feature_name = "is_second0";
  	RTEX;
  #define arg1 arg1x.it_r
  	EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
  #define ur1 ur1x.it_r
  	EIF_REFERENCE tr1 = NULL;
  	EIF_BOOLEAN tb1;
  	EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0);
  	
  	RTCDT;
  	RTSN;
  	RTDA;
  	RTLD;
  	
  	
  	RTLI(4);
  	RTLR(0,arg1);
  	RTLR(1,tr1);
  	RTLR(2,ur1);
  	RTLR(3,Current);
  	RTLIU(4);
  	RTLU (SK_BOOL, &Result);
  	RTLU(SK_REF,&arg1);
  	RTLU (SK_REF, &Current);
  	
  	RTEAA(l_feature_name, 976, Current, 0, 1, 13708);
  	RTSA(dtype);
  	RTSC;
  	RTME(dtype, 0);
  	RTGC;
  	RTDBGEAA(976, Current, 13708);
  	RTCC(arg1, 976, l_feature_name, 1, eif_new_type(232, 0x01), 0x01);
  	RTIV(Current, RTAL);
  	if ((RTAL & CK_REQUIRE) || RTAC) {
  		RTHOOK(1);
  		RTCT("s_exists", EX_PRE);
  		RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
  		RTCK;
  		RTJB;
  label_1:
  		RTCF;
  	}
  body:;
  	RTHOOK(2);
  	RTDBGAL(0, 0x04000000, 1,0); /* Result */
  	tr1 = RTMS_EX_H("[0]ss",5,812129651);
  	ur1 = tr1;
  	tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", arg1))(arg1, ur1x)).it_b);
  	Result = (EIF_BOOLEAN) tb1;
  	if (RTAL & CK_ENSURE) {
  		RTHOOK(3);
  		RTCT("definition", EX_POST);
  		tr1 = RTMS_EX_H("[0]ss",5,812129651);
  		ur1 = tr1;
  		tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", arg1))(arg1, ur1x)).it_b);
  		if ((EIF_BOOLEAN)(Result == tb1)) {
  			RTCK;
  		} else {
  			RTCF;
  		}
  	}
  	RTVI(Current, RTAL);
  	RTRS;
  	RTHOOK(4);
  	RTDBGLE;
  	RTMD(0);
  	RTLE;
  	RTLO(3);
  	RTEE;
  	{ EIF_TYPED_VALUE r; r.type = SK_BOOL; r.it_b = Result; return r; }
  #undef ur1
  #undef arg1
  }
  
  /* {CODE_VALIDITY_CHECKER}.is_fractional_second */
  EIF_TYPED_VALUE F977_7415 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
  {
  	GTCX
  	char *l_feature_name = "is_fractional_second";
  	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_TYPED_VALUE ui4_2x = {{0}, SK_INT32};
  #define ui4_2 ui4_2x.it_i4
  	EIF_REFERENCE tr1 = NULL;
  	EIF_REFERENCE tr2 = NULL;
  	EIF_INTEGER_32 ti4_1;
  	EIF_BOOLEAN tb1;
  	EIF_BOOLEAN tb2;
  	EIF_BOOLEAN tb3;
  	EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0);
  	
  	RTCDT;
  	RTSN;
  	RTDA;
  	RTLD;
  	
  	
  	RTLI(5);
  	RTLR(0,arg1);
  	RTLR(1,tr1);
  	RTLR(2,tr2);
  	RTLR(3,ur1);
  	RTLR(4,Current);
  	RTLIU(5);
  	RTLU (SK_BOOL, &Result);
  	RTLU(SK_REF,&arg1);
  	RTLU (SK_REF, &Current);
  	
  	RTEAA(l_feature_name, 976, Current, 0, 1, 13709);
  	RTSA(dtype);
  	RTSC;
  	RTME(dtype, 0);
  	RTGC;
  	RTDBGEAA(976, Current, 13709);
  	RTCC(arg1, 976, l_feature_name, 1, eif_new_type(232, 0x01), 0x01);
  	RTIV(Current, RTAL);
  	if ((RTAL & CK_REQUIRE) || RTAC) {
  		RTHOOK(1);
  		RTCT("s_exists", EX_PRE);
  		RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
  		RTCK;
  		RTJB;
  label_1:
  		RTCF;
  	}
  body:;
  	RTHOOK(2);
  	ti4_1 = *(EIF_INTEGER_32 *)(arg1 + RTVA(4768, "count", arg1));
  	if ((EIF_BOOLEAN) (ti4_1 > ((EIF_INTEGER_32) 2L))) {
  		RTHOOK(3);
  		RTDBGAL(0, 0x04000000, 1,0); /* Result */
  		tb1 = '\0';
  		ui4_1 = ((EIF_INTEGER_32) 1L);
  		ui4_2 = ((EIF_INTEGER_32) 2L);
  		tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTVF(4722, "substring", arg1))(arg1, ui4_1x, ui4_2x)), (((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 = RTMS_EX_H("ff",2,26214);
  		ur1 = tr2;
  		tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", tr1))(tr1, ur1x)).it_b);
  		if (tb2) {
  			ui4_1 = ((EIF_INTEGER_32) 3L);
  			ti4_1 = *(EIF_INTEGER_32 *)(arg1 + RTVA(4768, "count", arg1));
  			ui4_2 = ti4_1;
  			tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTVF(4722, "substring", arg1))(arg1, ui4_1x, ui4_2x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
  			RTNHOOK(3,2);
  			tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(4673, "is_integer", tr1))(tr1)).it_b);
  			tb1 = tb2;
  		}
  		Result = (EIF_BOOLEAN) tb1;
  	}
  	if (RTAL & CK_ENSURE) {
  		RTHOOK(4);
  		RTCT("definition", EX_POST);
  		tb1 = '\0';
  		ti4_1 = *(EIF_INTEGER_32 *)(arg1 + RTVA(4768, "count", arg1));
  		if ((EIF_BOOLEAN) (ti4_1 > ((EIF_INTEGER_32) 2L))) {
  			tb2 = '\0';
  			ui4_1 = ((EIF_INTEGER_32) 1L);
  			ui4_2 = ((EIF_INTEGER_32) 2L);
  			tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTVF(4722, "substring", arg1))(arg1, ui4_1x, ui4_2x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
  			RTNHOOK(4,1);
  			tr2 = RTMS_EX_H("ff",2,26214);
  			ur1 = tr2;
  			tb3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", tr1))(tr1, ur1x)).it_b);
  			if (tb3) {
  				ui4_1 = ((EIF_INTEGER_32) 3L);
  				ti4_1 = *(EIF_INTEGER_32 *)(arg1 + RTVA(4768, "count", arg1));
  				ui4_2 = ti4_1;
  				tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE, EIF_TYPED_VALUE)) RTVF(4722, "substring", arg1))(arg1, ui4_1x, ui4_2x)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
  				RTNHOOK(4,2);
  				tb3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(4673, "is_integer", tr1))(tr1)).it_b);
  				tb2 = tb3;
  			}
  			tb1 = tb2;
  		}
  		if ((EIF_BOOLEAN)(Result == tb1)) {
  			RTCK;
  		} else {
  			RTCF;
  		}
  	}
  	RTVI(Current, RTAL);
  	RTRS;
  	RTHOOK(5);
  	RTDBGLE;
  	RTMD(0);
  	RTLE;
  	RTLO(3);
  	RTEE;
  	{ EIF_TYPED_VALUE r; r.type = SK_BOOL; r.it_b = Result; return r; }
  #undef up1
  #undef ur1
  #undef ui4_1
  #undef ui4_2
  #undef arg1
  }
  
  /* {CODE_VALIDITY_CHECKER}.is_colon */
  EIF_TYPED_VALUE F977_7416 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
  {
  	GTCX
  	char *l_feature_name = "is_colon";
  	RTEX;
  #define arg1 arg1x.it_r
  	EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
  #define ur1 ur1x.it_r
  	EIF_REFERENCE tr1 = NULL;
  	EIF_BOOLEAN tb1;
  	EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0);
  	
  	RTCDT;
  	RTSN;
  	RTDA;
  	RTLD;
  	
  	
  	RTLI(4);
  	RTLR(0,arg1);
  	RTLR(1,tr1);
  	RTLR(2,ur1);
  	RTLR(3,Current);
  	RTLIU(4);
  	RTLU (SK_BOOL, &Result);
  	RTLU(SK_REF,&arg1);
  	RTLU (SK_REF, &Current);
  	
  	RTEAA(l_feature_name, 976, Current, 0, 1, 13710);
  	RTSA(dtype);
  	RTSC;
  	RTME(dtype, 0);
  	RTGC;
  	RTDBGEAA(976, Current, 13710);
  	RTCC(arg1, 976, l_feature_name, 1, eif_new_type(232, 0x01), 0x01);
  	RTIV(Current, RTAL);
  	if ((RTAL & CK_REQUIRE) || RTAC) {
  		RTHOOK(1);
  		RTCT("s_exists", EX_PRE);
  		RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
  		RTCK;
  		RTJB;
  label_1:
  		RTCF;
  	}
  body:;
  	RTHOOK(2);
  	RTDBGAL(0, 0x04000000, 1,0); /* Result */
  	tr1 = RTMS_EX_H(":",1,58);
  	ur1 = tr1;
  	tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", arg1))(arg1, ur1x)).it_b);
  	Result = (EIF_BOOLEAN) tb1;
  	if (RTAL & CK_ENSURE) {
  		RTHOOK(3);
  		RTCT("definition", EX_POST);
  		tr1 = RTMS_EX_H(":",1,58);
  		ur1 = tr1;
  		tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", arg1))(arg1, ur1x)).it_b);
  		if ((EIF_BOOLEAN)(Result == tb1)) {
  			RTCK;
  		} else {
  			RTCF;
  		}
  	}
  	RTVI(Current, RTAL);
  	RTRS;
  	RTHOOK(4);
  	RTDBGLE;
  	RTMD(0);
  	RTLE;
  	RTLO(3);
  	RTEE;
  	{ EIF_TYPED_VALUE r; r.type = SK_BOOL; r.it_b = Result; return r; }
  #undef ur1
  #undef arg1
  }
  
  /* {CODE_VALIDITY_CHECKER}.is_slash */
  EIF_TYPED_VALUE F977_7417 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
  {
  	GTCX
  	char *l_feature_name = "is_slash";
  	RTEX;
  #define arg1 arg1x.it_r
  	EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
  #define ur1 ur1x.it_r
  	EIF_REFERENCE tr1 = NULL;
  	EIF_BOOLEAN tb1;
  	EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0);
  	
  	RTCDT;
  	RTSN;
  	RTDA;
  	RTLD;
  	
  	
  	RTLI(4);
  	RTLR(0,arg1);
  	RTLR(1,tr1);
  	RTLR(2,ur1);
  	RTLR(3,Current);
  	RTLIU(4);
  	RTLU (SK_BOOL, &Result);
  	RTLU(SK_REF,&arg1);
  	RTLU (SK_REF, &Current);
  	
  	RTEAA(l_feature_name, 976, Current, 0, 1, 13711);
  	RTSA(dtype);
  	RTSC;
  	RTME(dtype, 0);
  	RTGC;
  	RTDBGEAA(976, Current, 13711);
  	RTCC(arg1, 976, l_feature_name, 1, eif_new_type(232, 0x01), 0x01);
  	RTIV(Current, RTAL);
  	if ((RTAL & CK_REQUIRE) || RTAC) {
  		RTHOOK(1);
  		RTCT("s_exists", EX_PRE);
  		RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
  		RTCK;
  		RTJB;
  label_1:
  		RTCF;
  	}
  body:;
  	RTHOOK(2);
  	RTDBGAL(0, 0x04000000, 1,0); /* Result */
  	tr1 = RTMS_EX_H("/",1,47);
  	ur1 = tr1;
  	tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", arg1))(arg1, ur1x)).it_b);
  	Result = (EIF_BOOLEAN) tb1;
  	if (RTAL & CK_ENSURE) {
  		RTHOOK(3);
  		RTCT("definition", EX_POST);
  		tr1 = RTMS_EX_H("/",1,47);
  		ur1 = tr1;
  		tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", arg1))(arg1, ur1x)).it_b);
  		if ((EIF_BOOLEAN)(Result == tb1)) {
  			RTCK;
  		} else {
  			RTCF;
  		}
  	}
  	RTVI(Current, RTAL);
  	RTRS;
  	RTHOOK(4);
  	RTDBGLE;
  	RTMD(0);
  	RTLE;
  	RTLO(3);
  	RTEE;
  	{ EIF_TYPED_VALUE r; r.type = SK_BOOL; r.it_b = Result; return r; }
  #undef ur1
  #undef arg1
  }
  
  /* {CODE_VALIDITY_CHECKER}.is_minus */
  EIF_TYPED_VALUE F977_7418 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
  {
  	GTCX
  	char *l_feature_name = "is_minus";
  	RTEX;
  #define arg1 arg1x.it_r
  	EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
  #define ur1 ur1x.it_r
  	EIF_REFERENCE tr1 = NULL;
  	EIF_BOOLEAN tb1;
  	EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0);
  	
  	RTCDT;
  	RTSN;
  	RTDA;
  	RTLD;
  	
  	
  	RTLI(4);
  	RTLR(0,arg1);
  	RTLR(1,tr1);
  	RTLR(2,ur1);
  	RTLR(3,Current);
  	RTLIU(4);
  	RTLU (SK_BOOL, &Result);
  	RTLU(SK_REF,&arg1);
  	RTLU (SK_REF, &Current);
  	
  	RTEAA(l_feature_name, 976, Current, 0, 1, 13712);
  	RTSA(dtype);
  	RTSC;
  	RTME(dtype, 0);
  	RTGC;
  	RTDBGEAA(976, Current, 13712);
  	RTCC(arg1, 976, l_feature_name, 1, eif_new_type(232, 0x01), 0x01);
  	RTIV(Current, RTAL);
  	if ((RTAL & CK_REQUIRE) || RTAC) {
  		RTHOOK(1);
  		RTCT("s_exists", EX_PRE);
  		RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
  		RTCK;
  		RTJB;
  label_1:
  		RTCF;
  	}
  body:;
  	RTHOOK(2);
  	RTDBGAL(0, 0x04000000, 1,0); /* Result */
  	tr1 = RTMS_EX_H("-",1,45);
  	ur1 = tr1;
  	tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", arg1))(arg1, ur1x)).it_b);
  	Result = (EIF_BOOLEAN) tb1;
  	if (RTAL & CK_ENSURE) {
  		RTHOOK(3);
  		RTCT("definition", EX_POST);
  		tr1 = RTMS_EX_H("-",1,45);
  		ur1 = tr1;
  		tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", arg1))(arg1, ur1x)).it_b);
  		if ((EIF_BOOLEAN)(Result == tb1)) {
  			RTCK;
  		} else {
  			RTCF;
  		}
  	}
  	RTVI(Current, RTAL);
  	RTRS;
  	RTHOOK(4);
  	RTDBGLE;
  	RTMD(0);
  	RTLE;
  	RTLO(3);
  	RTEE;
  	{ EIF_TYPED_VALUE r; r.type = SK_BOOL; r.it_b = Result; return r; }
  #undef ur1
  #undef arg1
  }
  
  /* {CODE_VALIDITY_CHECKER}.is_comma */
  EIF_TYPED_VALUE F977_7419 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
  {
  	GTCX
  	char *l_feature_name = "is_comma";
  	RTEX;
  #define arg1 arg1x.it_r
  	EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
  #define ur1 ur1x.it_r
  	EIF_REFERENCE tr1 = NULL;
  	EIF_BOOLEAN tb1;
  	EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0);
  	
  	RTCDT;
  	RTSN;
  	RTDA;
  	RTLD;
  	
  	
  	RTLI(4);
  	RTLR(0,arg1);
  	RTLR(1,tr1);
  	RTLR(2,ur1);
  	RTLR(3,Current);
  	RTLIU(4);
  	RTLU (SK_BOOL, &Result);
  	RTLU(SK_REF,&arg1);
  	RTLU (SK_REF, &Current);
  	
  	RTEAA(l_feature_name, 976, Current, 0, 1, 13713);
  	RTSA(dtype);
  	RTSC;
  	RTME(dtype, 0);
  	RTGC;
  	RTDBGEAA(976, Current, 13713);
  	RTCC(arg1, 976, l_feature_name, 1, eif_new_type(232, 0x01), 0x01);
  	RTIV(Current, RTAL);
  	if ((RTAL & CK_REQUIRE) || RTAC) {
  		RTHOOK(1);
  		RTCT("s_exists", EX_PRE);
  		RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
  		RTCK;
  		RTJB;
  label_1:
  		RTCF;
  	}
  body:;
  	RTHOOK(2);
  	RTDBGAL(0, 0x04000000, 1,0); /* Result */
  	tr1 = RTMS_EX_H(",",1,44);
  	ur1 = tr1;
  	tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", arg1))(arg1, ur1x)).it_b);
  	Result = (EIF_BOOLEAN) tb1;
  	if (RTAL & CK_ENSURE) {
  		RTHOOK(3);
  		RTCT("definition", EX_POST);
  		tr1 = RTMS_EX_H(",",1,44);
  		ur1 = tr1;
  		tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", arg1))(arg1, ur1x)).it_b);
  		if ((EIF_BOOLEAN)(Result == tb1)) {
  			RTCK;
  		} else {
  			RTCF;
  		}
  	}
  	RTVI(Current, RTAL);
  	RTRS;
  	RTHOOK(4);
  	RTDBGLE;
  	RTMD(0);
  	RTLE;
  	RTLO(3);
  	RTEE;
  	{ EIF_TYPED_VALUE r; r.type = SK_BOOL; r.it_b = Result; return r; }
  #undef ur1
  #undef arg1
  }
  
  /* {CODE_VALIDITY_CHECKER}.is_space */
  EIF_TYPED_VALUE F977_7420 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
  {
  	GTCX
  	char *l_feature_name = "is_space";
  	RTEX;
  #define arg1 arg1x.it_r
  	EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
  #define ur1 ur1x.it_r
  	EIF_REFERENCE tr1 = NULL;
  	EIF_BOOLEAN tb1;
  	EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0);
  	
  	RTCDT;
  	RTSN;
  	RTDA;
  	RTLD;
  	
  	
  	RTLI(4);
  	RTLR(0,arg1);
  	RTLR(1,tr1);
  	RTLR(2,ur1);
  	RTLR(3,Current);
  	RTLIU(4);
  	RTLU (SK_BOOL, &Result);
  	RTLU(SK_REF,&arg1);
  	RTLU (SK_REF, &Current);
  	
  	RTEAA(l_feature_name, 976, Current, 0, 1, 13714);
  	RTSA(dtype);
  	RTSC;
  	RTME(dtype, 0);
  	RTGC;
  	RTDBGEAA(976, Current, 13714);
  	RTCC(arg1, 976, l_feature_name, 1, eif_new_type(232, 0x01), 0x01);
  	RTIV(Current, RTAL);
  	if ((RTAL & CK_REQUIRE) || RTAC) {
  		RTHOOK(1);
  		RTCT("s_exists", EX_PRE);
  		RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
  		RTCK;
  		RTJB;
  label_1:
  		RTCF;
  	}
  body:;
  	RTHOOK(2);
  	RTDBGAL(0, 0x04000000, 1,0); /* Result */
  	tr1 = RTMS_EX_H(" ",1,32);
  	ur1 = tr1;
  	tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", arg1))(arg1, ur1x)).it_b);
  	Result = (EIF_BOOLEAN) tb1;
  	if (RTAL & CK_ENSURE) {
  		RTHOOK(3);
  		RTCT("definition", EX_POST);
  		tr1 = RTMS_EX_H(" ",1,32);
  		ur1 = tr1;
  		tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", arg1))(arg1, ur1x)).it_b);
  		if ((EIF_BOOLEAN)(Result == tb1)) {
  			RTCK;
  		} else {
  			RTCF;
  		}
  	}
  	RTVI(Current, RTAL);
  	RTRS;
  	RTHOOK(4);
  	RTDBGLE;
  	RTMD(0);
  	RTLE;
  	RTLO(3);
  	RTEE;
  	{ EIF_TYPED_VALUE r; r.type = SK_BOOL; r.it_b = Result; return r; }
  #undef ur1
  #undef arg1
  }
  
  /* {CODE_VALIDITY_CHECKER}.is_dot */
  EIF_TYPED_VALUE F977_7421 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
  {
  	GTCX
  	char *l_feature_name = "is_dot";
  	RTEX;
  #define arg1 arg1x.it_r
  	EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
  #define ur1 ur1x.it_r
  	EIF_REFERENCE tr1 = NULL;
  	EIF_BOOLEAN tb1;
  	EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0);
  	
  	RTCDT;
  	RTSN;
  	RTDA;
  	RTLD;
  	
  	
  	RTLI(4);
  	RTLR(0,arg1);
  	RTLR(1,tr1);
  	RTLR(2,ur1);
  	RTLR(3,Current);
  	RTLIU(4);
  	RTLU (SK_BOOL, &Result);
  	RTLU(SK_REF,&arg1);
  	RTLU (SK_REF, &Current);
  	
  	RTEAA(l_feature_name, 976, Current, 0, 1, 13715);
  	RTSA(dtype);
  	RTSC;
  	RTME(dtype, 0);
  	RTGC;
  	RTDBGEAA(976, Current, 13715);
  	RTCC(arg1, 976, l_feature_name, 1, eif_new_type(232, 0x01), 0x01);
  	RTIV(Current, RTAL);
  	if ((RTAL & CK_REQUIRE) || RTAC) {
  		RTHOOK(1);
  		RTCT("s_exists", EX_PRE);
  		RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
  		RTCK;
  		RTJB;
  label_1:
  		RTCF;
  	}
  body:;
  	RTHOOK(2);
  	RTDBGAL(0, 0x04000000, 1,0); /* Result */
  	tr1 = RTMS_EX_H(".",1,46);
  	ur1 = tr1;
  	tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", arg1))(arg1, ur1x)).it_b);
  	Result = (EIF_BOOLEAN) tb1;
  	if (RTAL & CK_ENSURE) {
  		RTHOOK(3);
  		RTCT("definition", EX_POST);
  		tr1 = RTMS_EX_H(".",1,46);
  		ur1 = tr1;
  		tb1 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", arg1))(arg1, ur1x)).it_b);
  		if ((EIF_BOOLEAN)(Result == tb1)) {
  			RTCK;
  		} else {
  			RTCF;
  		}
  	}
  	RTVI(Current, RTAL);
  	RTRS;
  	RTHOOK(4);
  	RTDBGLE;
  	RTMD(0);
  	RTLE;
  	RTLO(3);
  	RTEE;
  	{ EIF_TYPED_VALUE r; r.type = SK_BOOL; r.it_b = Result; return r; }
  #undef ur1
  #undef arg1
  }
  
  /* {CODE_VALIDITY_CHECKER}.is_separator */
  EIF_TYPED_VALUE F977_7422 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
  {
  	GTCX
  	char *l_feature_name = "is_separator";
  	RTEX;
  #define arg1 arg1x.it_r
  	EIF_TYPED_VALUE ur1x = {{0}, SK_REF};
  #define ur1 ur1x.it_r
  	EIF_BOOLEAN tb1;
  	EIF_BOOLEAN tb2;
  	EIF_BOOLEAN tb3;
  	EIF_BOOLEAN tb4;
  	EIF_BOOLEAN tb5;
  	EIF_BOOLEAN tb6;
  	EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0);
  	
  	RTCDT;
  	RTSN;
  	RTDA;
  	RTLD;
  	
  	
  	RTLI(3);
  	RTLR(0,arg1);
  	RTLR(1,ur1);
  	RTLR(2,Current);
  	RTLIU(3);
  	RTLU (SK_BOOL, &Result);
  	RTLU(SK_REF,&arg1);
  	RTLU (SK_REF, &Current);
  	
  	RTEAA(l_feature_name, 976, Current, 0, 1, 13716);
  	RTSA(dtype);
  	RTSC;
  	RTME(dtype, 0);
  	RTGC;
  	RTDBGEAA(976, Current, 13716);
  	RTCC(arg1, 976, l_feature_name, 1, eif_new_type(232, 0x01), 0x01);
  	RTIV(Current, RTAL);
  	if ((RTAL & CK_REQUIRE) || RTAC) {
  		RTHOOK(1);
  		RTCT("s_exists", EX_PRE);
  		RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
  		RTCK;
  		RTJB;
  label_1:
  		RTCF;
  	}
  body:;
  	RTHOOK(2);
  	RTDBGAL(0, 0x04000000, 1,0); /* Result */
  	tb1 = '\01';
  	tb2 = '\01';
  	tb3 = '\01';
  	tb4 = '\01';
  	tb5 = '\01';
  	ur1 = RTCCL(arg1);
  	tb6 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(5192, dtype))(Current, ur1x)).it_b);
  	if (!tb6) {
  		ur1 = RTCCL(arg1);
  		tb6 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(5191, dtype))(Current, ur1x)).it_b);
  		tb5 = tb6;
  	}
  	if (!tb5) {
  		ur1 = RTCCL(arg1);
  		tb5 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(5193, dtype))(Current, ur1x)).it_b);
  		tb4 = tb5;
  	}
  	if (!tb4) {
  		ur1 = RTCCL(arg1);
  		tb4 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(5194, dtype))(Current, ur1x)).it_b);
  		tb3 = tb4;
  	}
  	if (!tb3) {
  		ur1 = RTCCL(arg1);
  		tb3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(5195, dtype))(Current, ur1x)).it_b);
  		tb2 = tb3;
  	}
  	if (!tb2) {
  		ur1 = RTCCL(arg1);
  		tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(5196, dtype))(Current, ur1x)).it_b);
  		tb1 = tb2;
  	}
  	Result = (EIF_BOOLEAN) tb1;
  	if (RTAL & CK_ENSURE) {
  		RTHOOK(3);
  		RTCT("definition", EX_POST);
  		tb1 = '\01';
  		tb2 = '\01';
  		tb3 = '\01';
  		tb4 = '\01';
  		tb5 = '\01';
  		ur1 = RTCCL(arg1);
  		tb6 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(5192, dtype))(Current, ur1x)).it_b);
  		if (!(EIF_BOOLEAN)(Result == tb6)) {
  			ur1 = RTCCL(arg1);
  			tb6 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(5191, dtype))(Current, ur1x)).it_b);
  			tb5 = tb6;
  		}
  		if (!tb5) {
  			ur1 = RTCCL(arg1);
  			tb5 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(5193, dtype))(Current, ur1x)).it_b);
  			tb4 = tb5;
  		}
  		if (!tb4) {
  			ur1 = RTCCL(arg1);
  			tb4 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(5194, dtype))(Current, ur1x)).it_b);
  			tb3 = tb4;
  		}
  		if (!tb3) {
  			ur1 = RTCCL(arg1);
  			tb3 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(5195, dtype))(Current, ur1x)).it_b);
  			tb2 = tb3;
  		}
  		if (!tb2) {
  			ur1 = RTCCL(arg1);
  			tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTWF(5196, dtype))(Current, ur1x)).it_b);
  			tb1 = tb2;
  		}
  		if (tb1) {
  			RTCK;
  		} else {
  			RTCF;
  		}
  	}
  	RTVI(Current, RTAL);
  	RTRS;
  	RTHOOK(4);
  	RTDBGLE;
  	RTMD(0);
  	RTLE;
  	RTLO(3);
  	RTEE;
  	{ EIF_TYPED_VALUE r; r.type = SK_BOOL; r.it_b = Result; return r; }
  #undef ur1
  #undef arg1
  }
  
  /* {CODE_VALIDITY_CHECKER}.is_meridiem */
  EIF_TYPED_VALUE F977_7423 (EIF_REFERENCE Current, EIF_TYPED_VALUE arg1x)
  {
  	GTCX
  	char *l_feature_name = "is_meridiem";
  	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 ur1x = {{0}, SK_REF};
  #define ur1 ur1x.it_r
  	EIF_REFERENCE tr1 = NULL;
  	EIF_REFERENCE tr2 = NULL;
  	EIF_BOOLEAN tb1;
  	EIF_BOOLEAN tb2;
  	EIF_BOOLEAN Result = ((EIF_BOOLEAN) 0);
  	
  	RTCDT;
  	RTSN;
  	RTDA;
  	RTLD;
  	
  	
  	RTLI(6);
  	RTLR(0,arg1);
  	RTLR(1,loc1);
  	RTLR(2,tr1);
  	RTLR(3,ur1);
  	RTLR(4,tr2);
  	RTLR(5,Current);
  	RTLIU(6);
  	RTLU (SK_BOOL, &Result);
  	RTLU(SK_REF,&arg1);
  	RTLU (SK_REF, &Current);
  	RTLU(SK_REF, &loc1);
  	
  	RTEAA(l_feature_name, 976, Current, 1, 1, 13717);
  	RTSA(dtype);
  	RTSC;
  	RTME(dtype, 0);
  	RTGC;
  	RTDBGEAA(976, Current, 13717);
  	RTCC(arg1, 976, l_feature_name, 1, eif_new_type(232, 0x01), 0x01);
  	RTIV(Current, RTAL);
  	if ((RTAL & CK_REQUIRE) || RTAC) {
  		RTHOOK(1);
  		RTCT("s_exists", EX_PRE);
  		RTTE((EIF_BOOLEAN)(arg1 != NULL), label_1);
  		RTCK;
  		RTJB;
  label_1:
  		RTCF;
  	}
  body:;
  	RTHOOK(2);
  	RTDBGAL(1, 0xF80000E8, 0, 0); /* loc1 */
  	tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(4704, "as_upper", arg1))(arg1)), (((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);
  	RTHOOK(3);
  	RTDBGAL(0, 0x04000000, 1,0); /* Result */
  	tb1 = '\01';
  	tr1 = RTMS_EX_H("AM",2,16717);
  	ur1 = tr1;
  	tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", loc1))(loc1, ur1x)).it_b);
  	if (!tb2) {
  		tr1 = RTMS_EX_H("PM",2,20557);
  		ur1 = tr1;
  		tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", loc1))(loc1, ur1x)).it_b);
  		tb1 = tb2;
  	}
  	Result = (EIF_BOOLEAN) tb1;
  	if (RTAL & CK_ENSURE) {
  		RTHOOK(4);
  		RTCT("definition", EX_POST);
  		tb1 = '\01';
  		tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(4704, "as_upper", arg1))(arg1)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
  		RTNHOOK(4,1);
  		tr2 = RTMS_EX_H("AM",2,16717);
  		ur1 = tr2;
  		tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", tr1))(tr1, ur1x)).it_b);
  		if (!(EIF_BOOLEAN)(Result == tb2)) {
  			tr1 = ((up1x = (FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE)) RTVF(4704, "as_upper", arg1))(arg1)), (((up1x.type & SK_HEAD) == SK_REF)? (EIF_REFERENCE) 0: (up1x.it_r = RTBU(up1x))), (up1x.type = SK_POINTER), up1x.it_r);
  			RTNHOOK(4,2);
  			tr2 = RTMS_EX_H("PM",2,20557);
  			ur1 = tr2;
  			tb2 = (((FUNCTION_CAST(EIF_TYPED_VALUE, (EIF_REFERENCE, EIF_TYPED_VALUE)) RTVF(4754, "same_string", tr1))(tr1, ur1x)).it_b);
  			tb1 = tb2;
  		}
  		if (tb1) {
  			RTCK;
  		} else {
  			RTCF;
  		}
  	}
  	RTVI(Current, RTAL);
  	RTRS;
  	RTHOOK(5);
  	RTDBGLE;
  	RTMD(0);
  	RTLE;
  	RTLO(4);
  	RTEE;
  	{ EIF_TYPED_VALUE r; r.type = SK_BOOL; r.it_b = Result; return r; }
  #undef up1
  #undef ur1
  #undef arg1
  }
  
  void EIF_Minit977 (void)
  {
  	GTCX
  }
  
  
  #ifdef __cplusplus
  }
  #endif
  