Use PLAT_snprintf.