ats_ptr_type
atspre_tostringf (ats_ptr_type arg0, ...) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp3) ;
ATSlocal (ats_ptr_type, tmp4) ;
// ATSlocal_void (tmp5) ;

ATSlocal (va_list, arg1) ;
va_start(arg1, arg0) ;

__ats_lab_atspre_tostringf:
tmp4 = atspre_vsprintf (arg0, (&arg1)) ;
/* tmp5 = */ atslib_va_end ((&arg1)) ;
tmp3 = tmp4 ;
return (tmp3) ;
} /* end of [atspre_tostringf] */
ats_ptr_type
ATS_2d0_2e2_2e12_2prelude_2SATS_2printf_2esats__tostringf_size (ats_size_type arg0, ats_ptr_type arg1, ...) {
/* local vardec */
ATSlocal (ats_ptr_type, tmp0) ;
ATSlocal (ats_ptr_type, tmp1) ;
// ATSlocal_void (tmp2) ;

ATSlocal (va_list, arg2) ;
va_start(arg2, arg1) ;

__ats_lab_ATS_2d0_2e2_2e12_2prelude_2SATS_2printf_2esats__tostringf_size:
tmp1 = atspre_vsprintf_size (arg0, arg1, (&arg2)) ;
/* tmp2 = */ atslib_va_end ((&arg2)) ;
tmp0 = tmp1 ;
return (tmp0) ;
} /* end of [ATS_2d0_2e2_2e12_2prelude_2SATS_2printf_2esats__tostringf_size] */
ats_int_type
ATS_2d0_2e2_2e10_2libc_2SATS_2printf_2esats__printf (ats_ptr_type arg0, ...) {
/* local vardec */
ATSlocal (ats_int_type, tmp0) ;
ATSlocal (ats_int_type, tmp1) ;
// ATSlocal_void (tmp2) ;

ATSlocal (va_list, arg1) ;
va_start(arg1, arg0) ;

__ats_lab_ATS_2d0_2e2_2e10_2libc_2SATS_2printf_2esats__printf:
tmp1 = atslib_vprintf (arg0, (&arg1)) ;
/* tmp2 = */ atslib_va_end ((&arg1)) ;
tmp0 = tmp1 ;
return (tmp0) ;
} /* end of [ATS_2d0_2e2_2e10_2libc_2SATS_2printf_2esats__printf] */
ats_int_type
ATS_2d0_2e2_2e10_2libc_2SATS_2printf_2esats__fprintf (ats_ref_type arg0, ats_ptr_type arg1, ...) {
/* local vardec */
ATSlocal (ats_int_type, tmp3) ;
ATSlocal (ats_int_type, tmp4) ;
// ATSlocal_void (tmp5) ;

ATSlocal (va_list, arg2) ;
va_start(arg2, arg1) ;

__ats_lab_ATS_2d0_2e2_2e10_2libc_2SATS_2printf_2esats__fprintf:
tmp4 = atslib_vfprintf (arg0, arg1, (&arg2)) ;
/* tmp5 = */ atslib_va_end ((&arg2)) ;
tmp3 = tmp4 ;
return (tmp3) ;
} /* end of [ATS_2d0_2e2_2e10_2libc_2SATS_2printf_2esats__fprintf] */
ats_int_type
atslib_snprintf (ats_ptr_type arg0, ats_size_type arg1, ats_ptr_type arg2, ...) {
/* local vardec */
ATSlocal (ats_int_type, tmp6) ;
ATSlocal (ats_int_type, tmp7) ;
// ATSlocal_void (tmp8) ;

ATSlocal (va_list, arg3) ;
va_start(arg3, arg2) ;

__ats_lab_atslib_snprintf:
tmp7 = atslib_vsnprintf (arg0, arg1, arg2, (&arg3)) ;
/* tmp8 = */ atslib_va_end ((&arg3)) ;
tmp6 = tmp7 ;
return (tmp6) ;
} /* end of [atslib_snprintf] */