ats_void_type
list_vt_free_01499_ats_ptr_type (ats_ptr_type arg0) {
/* local vardec */
// ATSlocal_void (tmp1) ;
__ats_lab_list_vt_free_01499_ats_ptr_type:
/* tmp1 = */ loop_2 (arg0) ;
return /* (tmp1) */ ;
} /* end of [list_vt_free_01499_ats_ptr_type] */
ats_int_type
list_length_01729_ats_ptr_type (ats_ptr_type arg0) {
/* local vardec */
ATSlocal (ats_int_type, tmp4) ;
__ats_lab_list_length_01729_ats_ptr_type:
tmp4 = loop_2 (arg0, 0) ;
return (tmp4) ;
} /* end of [list_length_01729_ats_ptr_type] */
