#ifdef WIN32
#include <direct.h> // _mkdir
/* Need to define function drand48 for Windows */
-/* FIXME: use _drand48() defined in src/surf/random_mgr.c instead */
#define drand48() (rand() / (RAND_MAX + 1.0))
#endif
void instr_new_value_for_user_state_type(std::string new_typename, const char* value, std::string color);
/* instr_config.c */
-XBT_PRIVATE void TRACE_start();
XBT_PRIVATE void TRACE_TI_start();
XBT_PRIVATE void TRACE_TI_end();
-XBT_PRIVATE void TRACE_end();
XBT_PRIVATE void TRACE_global_init();
XBT_PRIVATE void TRACE_help(int detailed);