else min_width = 0;
static void hdr_format_s (char *dest,			  size_t destlen,			  const char *prefix,			  char *s){  int right_justify = 0;  char *p;  int min_width;  int max_width = INT_MAX;  if (*prefix == '-')    ++prefix, right_justify = 0;  min_width = strtol (prefix, &p, 10);  if (p > prefix)  {    if (*p == '.')    {      prefix = p + 1;      max_width = strtol (prefix, &p, 10);      if (p <= prefix)	max_width = INT_MAX;    }  }  else    min_width = 0;  mutt_format_string (dest, destlen, min_width, max_width,		      right_justify, ' ', s, -1);}