+/* Copyright (c) 2007, 2008, 2009, 2010. The SimGrid Team.
+ * All rights reserved. */
+
+/* This program is free software; you can redistribute it and/or modify it
+ * under the terms of the license (GNU LGPL) which comes with this package. */
+
#include "surf/random_mgr.h"
#include "xbt/sysdep.h"
+#include "simgrid_config.h" /*_XBT_WIN32*/
-#ifdef 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. */