work/bootstrap/gec14.c
T1 T57f152af3(T0* a1, T0* a2)
{
	T1 R = 0;
	R = (((T432*)(GE_void(a2)))->a12);
	return R;
}
/* Function for agent #3 in feature ET_ECF_SYSTEM.classes_modified_recursive */
Function for agent #3 in feature ET_ECF_SYSTEM.classes_modified_recursive
Function for agent #3 in feature ET_ECF_SYSTEM . classes_modified_recursive
T1 T57f152af3(T0* a1, T0* a2)
{
	T1 R = 0;
	R = (((T432*)(GE_void(a2)))->a12);
	return R;
}
T1 T57f152af3 ( T0 * a1 , T0 * a2 ) { T1 R = 0 ; R = ( ( ( T432 * ) ( GE_void ( a2 ) ) ) -> a12 ) ; return R ; }
Function for agent #3 in feature ET_ECF_SYSTEM.classes_modified_recursive
Function for agent #3 in feature ET_ECF_SYSTEM . classes_modified_recursive