/* This file is in the public domain. */

#include <stdio.h>
#include <stdlib.h>
#include <strings.h>

extern const char *__progname;

typedef struct verbkey VERBKEY;

struct verbkey {
  const char *name;
  unsigned int bit;
  } ;

#define VERBKEY(s,d,b) { #b,__LINE__ }
#define IONLYKEY(s,b) { 0,0 }

static const VERBKEY verbkeys[]
 = {
#include "verbose-table.inc"
};
#define NVERBKEYS (sizeof(verbkeys)/sizeof(verbkeys[0]))

int main(void);
int main(void)
{
 int i;
 unsigned int m;
 unsigned int all;

 printf("/* This file is in the public domain. */\n");
 printf("/* This file is mechanically generated by code in gen-verbose-bits.c. */\n");
 m = 1;
 all = 0;
 for (i=0;i<NVERBKEYS;i++)
  { if (verbkeys[i].name)
     { if (strncmp(verbkeys[i].name,"VERBOSE_",8))
	{ fprintf(stderr,"\"%s\", line %d: %s doesn't begin with VERBOSE_\n",__FILE__,verbkeys[i].bit,verbkeys[i].name);
	  exit(1);
	}
       printf("#define %s 0x%08x\n",verbkeys[i].name,m);
       all |= m;
       m <<= 1;
     }
  }
 printf("#define VERBOSE_ALL 0x%08x\n",all);
 exit(0);
}