#ifndef TOKU_STDINT_H #define TOKU_STDINT_H #include <stdint.h> #include <inttypes.h> #endif