Use snprintf