#ifndef _SRC_INCLUDE_OPENCT_TYPES_H
#define _SRC_INCLUDE_OPENCT_TYPES_H 1
#ifndef _GENERATED_STDINT_H
#define _GENERATED_STDINT_H "openct 0.6.20"
/* generated using a gnu compiler version gcc (GCC) 4.8.2 Copyright (C) 2013 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. */

#include <stdint.h>


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

  /* once */
#endif
#endif
