/* flex integer type definitions */
#ifndef FLEXINT_H
#include <stdio.h>
#define FLEXINT_H
/* C99 systems have <inttypes.h>. Non-C99 systems may or may not. */