-#ifdef DLL_EXPORT
-# define XBT_PUBLIC(type) __declspec(dllexport) type
-#else
-# ifdef DLL_STATIC
-# define XBT_PUBLIC(type) type
-# else
-# ifdef _WIN32
-# define XBT_PUBLIC(type) __declspec(dllimport) type
-# else
-# define XBT_PUBLIC(type) extern type
-# endif
-# endif
-#endif
-
-
-
-
-#ifndef max
-# define max(a, b) (((a) > (b))?(a):(b))
-#endif
-#ifndef min
-# define min(a, b) (((a) < (b))?(a):(b))
-#endif
-
-#define TRUE 1
-#define FALSE 0
-
-#define XBT_MAX_CHANNEL 10 /* FIXME: killme */
-/*! C++ users need love */
-#ifndef SG_BEGIN_DECL
-# ifdef __cplusplus
-# define SG_BEGIN_DECL() extern "C" {
-# else
-# define SG_BEGIN_DECL()
-# endif
-#endif
-
-/*! C++ users need love */
-#ifndef SG_END_DECL
-# ifdef __cplusplus
-# define SG_END_DECL() }
-# else
-# define SG_END_DECL()
-# endif
-#endif
-/* End of cruft for C++ */
-
-SG_BEGIN_DECL()
-
-XBT_PUBLIC(const char *)xbt_procname(void);
-
-#define XBT_BACKTRACE_SIZE 10 /* FIXME: better place? Do document */
-
-SG_END_DECL()
-
-#endif /* XBT_MISC_H */
-
-
-