+#include "simgrid/config.h"
+#include "simgrid/sg_config.hpp"
+#include "src/internal_config.h"
+#include "src/sthread/sthread.h" // sthread_inside_simgrid
+#include "xbt/config.hpp"
+#include "xbt/coverage.h"
+#include "xbt/dynar.h"
+#include "xbt/log.h"
+#include "xbt/log.hpp"