ats_void_type
_2home_2hwxi_2research_2Postiats_2git_2src_2pats_symmap_2esats__symmap_joinwth (ats_ref_type arg0, ats_ptr_type arg1) {
/* local vardec */
// ATSlocal_void (tmp127) ;
ATSlocal (ats_ptr_type, tmp135) ;

__ats_lab__2home_2hwxi_2research_2Postiats_2git_2src_2pats_symmap_2esats__symmap_joinwth:
tmp135 = linmap_listize_01733_ats_uint_type_2cats_ptr_type (arg1) ;
/* tmp127 = */ loop_17 (arg0, tmp135) ;
return /* (tmp127) */ ;
} /* end of [_2home_2hwxi_2research_2Postiats_2git_2src_2pats_symmap_2esats__symmap_joinwth] */
ats_ptr_type
list_map_funenv_01412_ats_ptr_type_anairiats_rec_1 (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp92) ;
ATSlocal (ats_ptr_type, tmp100) ;
// ATSlocal_void (tmp101) ;

__ats_lab_list_map_funenv_01412_ats_ptr_type_anairiats_rec_1:
/* ats_ptr_type tmp100 ; */
/* tmp101 = */ loop_17 (arg0, arg1, (&tmp100), arg2) ;
tmp92 = tmp100 ;
return (tmp92) ;
} /* end of [list_map_funenv_01412_ats_ptr_type_anairiats_rec_1] */