#include <xbt/log.h>
#include <xbt/xbt_os_thread.h>
-#include "src/simix/smx_private.h"
#include "src/internal_config.h"
#include "src/kernel/context/ContextBoost.hpp"
+#include "src/simix/smx_private.hpp"
#if HAVE_SANITIZE_ADDRESS_FIBER_SUPPORT
#include <sanitizer/asan_interface.h>