1 /* This file is generated automatically by configure */
2 #include <stdint.h>
3