+
+/* On MinGW, stdio.h defines __MINGW_PRINTF_FORMAT and __MINGW_SCANF_FORMAT
+ which are the suitable format style (either gnu_printf or ms_printf)
+ depending on which version is available (__USE_MINGW_ANSI_STDIO): */
+#ifdef __MINGW32__
+ #include <stdio.h>
+#endif
+
+#if defined(__MINGW32__) && defined(__MINGW_PRINTF_FORMAT)
+ # define _XBT_GNUC_PRINTF( format_idx, arg_idx ) \
+ __attribute__((__format__ (__MINGW_PRINTF_FORMAT, format_idx, arg_idx)))
+#else
+ # define _XBT_GNUC_PRINTF( format_idx, arg_idx ) \