#include <stdlib.h>
#include <stdio.h>
#include "defines.v"

int main()
{
    FILE *out;
    int i;

    out=fopen("defines.h","wt");
    if (out == NULL)
       return 0;

    for(i=0;defines[i] != NULL;i++)
       fprintf(out,"#define %-20s %4d\n",defines[i],i);

    
    fprintf(out,"#define %-20s %4d\n","DEFINECNT",i);
    fclose(out);
    return 0;
}