work/bootstrap/gec14.c
T1 T57f199af2(T0* a1, T0* a2)
{
	T1 R = 0;
	R = (((T75*)(GE_void(a2)))->a2);
	return R;
}
/* Function for agent #2 in feature ET_ECF_SYSTEM.check_provider_validity */
Function for agent #2 in feature ET_ECF_SYSTEM.check_provider_validity
Function for agent #2 in feature ET_ECF_SYSTEM . check_provider_validity
T1 T57f199af2(T0* a1, T0* a2)
{
	T1 R = 0;
	R = (((T75*)(GE_void(a2)))->a2);
	return R;
}
T1 T57f199af2 ( T0 * a1 , T0 * a2 ) { T1 R = 0 ; R = ( ( ( T75 * ) ( GE_void ( a2 ) ) ) -> a2 ) ; return R ; }
Function for agent #2 in feature ET_ECF_SYSTEM.check_provider_validity
Function for agent #2 in feature ET_ECF_SYSTEM . check_provider_validity