#endif
-#include <stdlib.h>
-#include <stdio.h>
#include "surf/maxmin.h"
#include "xbt/module.h"
#include "xbt/xbt_os_time.h"
#include "xbt/sysdep.h" /* time manipulation for benchmarking */
+#include <stdlib.h>
+#include <stdio.h>
+
double date;
double float_random(double max);
