+#ifdef HAVE_FUTEX_H
+typedef struct s_xbt_event{
+ int work;
+ int done;
+ unsigned int thread_counter;
+ unsigned int threads_to_wait;
+}s_xbt_event_t, *xbt_event_t;
+
+void xbt_event_init(xbt_event_t event);
+void xbt_event_signal(xbt_event_t event);
+void xbt_event_wait(xbt_event_t event);
+void xbt_event_end(xbt_event_t event);
+#endif
+