#include <simgrid/modelchecker.h>
#include <sys/time.h> /* Load it before the define next line to not mess with the system headers */
#include <simgrid/modelchecker.h>
#include <sys/time.h> /* Load it before the define next line to not mess with the system headers */