#ifndef _SRC_INCLUDE_OPENCT_TYPES_H
#define _SRC_INCLUDE_OPENCT_TYPES_H 1
#ifndef _GENERATED_STDINT_H
#define _GENERATED_STDINT_H "openct 0.6.6"
/* generated using a gnu compiler version 2.95.3 */

#include <stdint.h>


/* system headers have good uint64_t */
#ifndef _HAVE_UINT64_T
#define _HAVE_UINT64_T
#endif

  /* once */
#endif
#endif
