#include "surf/random_mgr.h"
#include "xbt/sysdep.h"
+#include "simgrid_config.h" /*_XBT_WIN32*/
#ifdef _XBT_WIN32
static unsigned int _seed = 2147483647;
+#ifdef __VISUALC__
typedef unsigned __int64 uint64_t;
typedef unsigned int uint32_t;
+#endif
struct drand48_data {
unsigned short int __x[3]; /* Current state. */