#ifndef TOKU_STDINT_H
#define TOKU_STDINT_H

#include <stdint.h>
#include <inttypes.h>

typedef uint8_t u_int8_t;
typedef uint16_t u_int16_t;
typedef uint32_t u_int32_t;
typedef uint64_t u_int64_t;

#endif

