+/****
+ **** Contexts
+ ****/
+
+#ifdef HAVE_UCONTEXT_H
+# ifndef S_SPLINT_S /* This header drives splint into the wall */
+# include <ucontext.h>
+# endif
+#else
+# include "xbt/context_win32.h" /* Manual reimplementation for prehistoric platforms */
+#endif
+