#define TRUE 1
#define FALSE 0
-#define GRAS_MAX_CHANNEL 10 /* FIXME: killme */
+#define XBT_MAX_CHANNEL 10 /* FIXME: killme */
/*! C++ users need love */
#ifndef BEGIN_DECL
# ifdef __cplusplus
typedef struct {
char *name;
int port;
-} gras_host_t;
+} xbt_host_t;
+
+/* pointer to a function freeing something */
+typedef void (void_f_ppvoid_t)(void**);
+typedef void (void_f_pvoid_t) (void*);
+
+/* The following two definitions concern the type of the keys used for
+ the heaps. That should be handled via configure (FIXME). */
+typedef long double xbt_heap_float_t;
+#define XBT_HEAP_FLOAT_T "%Lg" /* for printing purposes */
+
+typedef long double xbt_maxmin_float_t;
+#define XBT_MAXMIN_FLOAT_T "%Lg" /* for printing purposes */
+
END_DECL