ats_ptr_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_label_2esats__label_dotize (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp10) ;
ATSlocal (ats_ptr_type, tmp11) ;
ATSlocal (ats_int_type, tmp12) ;
ATSlocal (ats_ptr_type, tmp13) ;
ATSlocal (ats_ptr_type, tmp14) ;
ATSlocal (ats_ptr_type, tmp15) ;
ATSlocal (ats_ptr_type, tmp16) ;
__ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_label_2esats__label_dotize:
do {
/* branch: __ats_lab_8 */
__ats_lab_8_0:
if (((ats_sum_ptr_type)arg0)->tag != 0) { goto __ats_lab_9_0 ; }
__ats_lab_8_1:
tmp12 = ats_caselptrlab_mac(anairiats_sum_0, arg0, atslab_0) ;
tmp13 = atspre_tostringf (ATSstrcst(".%i"), tmp12) ;
tmp11 = ats_castfn_mac(ats_ptr_type, tmp13) ;
break ;
/* branch: __ats_lab_9 */
__ats_lab_9_0:
// if (((ats_sum_ptr_type)arg0)->tag != 1) { ats_deadcode_failure_handle () ; }
__ats_lab_9_1:
tmp14 = ats_caselptrlab_mac(anairiats_sum_1, arg0, atslab_0) ;
tmp16 = _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_symbol_2esats__symbol_get_name (tmp14) ;
tmp15 = atspre_tostringf (ATSstrcst(".%s"), tmp16) ;
tmp11 = ats_castfn_mac(ats_ptr_type, tmp15) ;
break ;
} while (0) ;
tmp10 = _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_symbol_2esats__symbol_make_string (tmp11) ;
return (tmp10) ;
} /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_label_2esats__label_dotize] */
ats_ptr_type
_2home_2hwxi_2research_2Postiats_2git_2src_2pats_counter_2esats__tostring_prefix_count (ats_ptr_type arg0, ats_int_type arg1) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp11) ;
ATSlocal (ats_ptr_type, tmp12) ;
__ats_lab__2home_2hwxi_2research_2Postiats_2git_2src_2pats_counter_2esats__tostring_prefix_count:
tmp12 = atspre_tostringf (ATSstrcst("%s%i"), arg0, arg1) ;
tmp11 = ats_castfn_mac(ats_ptr_type, tmp12) ;
return (tmp11) ;
} /* end of [_2home_2hwxi_2research_2Postiats_2git_2src_2pats_counter_2esats__tostring_prefix_count] */
