void SD_init(int *argc, char **argv);
void SD_create_environment(const char *platform_file);
SD_task_t* SD_simulate(double how_long);
void SD_init(int *argc, char **argv);
void SD_create_environment(const char *platform_file);
SD_task_t* SD_simulate(double how_long);