#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