/* Print the name corresponding to a value, with overflow check.  */
static void iw_print_value_name(unsigned int value, const char *names[], const unsigned int num_names)
/* Print the name corresponding to a value, with overflow check.  */
static void iw_print_value_name(unsigned int value, const char *names[], const unsigned int num_names)
{
  if(value >= num_names)
    printf(" unknown (%d)", value);
  else
    printf(" %s", names[value]);
}