#ifndef TOKU_STDINT_H
#define TOKU_STDINT_H

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

#endif