+
+/* Generic function type */
+
+ typedef void (void_f_ppvoid_t)(void**);
+ typedef void (void_f_pvoid_t) (void*);
+
+ typedef int (int_f_pvoid_pvoid_t) (void*,void*);
+
+ typedef int (*int_f_void_t) (void); /* FIXME: rename it to int_pf_void_t */
+
+#define XBT_BACKTRACE_SIZE 10 /* FIXME: better place? Do document */
+