#ifdef HAVE_CONFIG_H
#include "config.h"
#endif
#ifdef HAVE_INTTYPES_H
#include <inttypes.h>				   /* for UINT32_MAX */
#endif
#ifdef HAVE_STDINT_H
#include <stdint.h>					   /* for UINT32_MAX */
#endif
#ifndef UINT32_MAX
# define UINT32_MAX 4294967295U
#endif