/** Cache the number of bits of addresses inside a given page, log2(xbt_pagesize). */
XBT_PUBLIC_DATA(int) xbt_pagebits;
-XBT_PUBLIC(const char *) xbt_procname(void);
+XBT_PUBLIC(const char *) xbt_procname();
/** Retrieves the version numbers of the used dynamic library (so, DLL or dynlib) , while
SIMGRID_VERSION_MAJOR and friends give the version numbers of the used header files */
/** Contains all the parameters we got from the command line */
XBT_PUBLIC_DATA(xbt_dynar_t) sg_cmdline;
-#define XBT_BACKTRACE_SIZE 10 /* FIXME: better place? Do document */
-
/* snprintf related functions */
/** @addtogroup XBT_str
* @{ */