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] */