#ident "Copyright (c) 2007-2010 Tokutek Inc.  All rights reserved."

#ifndef TOKU_STDINT_H
#define TOKU_STDINT_H

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

#endif