XBT_PUBLIC(void) SD_create_environment(const char *platform_file);
XBT_PUBLIC(SD_task_t*) SD_simulate(double how_long);
XBT_PUBLIC(double) SD_get_clock(void);
XBT_PUBLIC(void) SD_create_environment(const char *platform_file);
XBT_PUBLIC(SD_task_t*) SD_simulate(double how_long);
XBT_PUBLIC(double) SD_get_clock(void);