Use C snprintf