#ifndef __WINTYPE_H_INCLUDED
#define __WINTYPE_H_INCLUDED

#include <stdint.h>

typedef uint64_t TIMESTAMP;

#endif /* __WINTYPE_H_INCLUDED */