void replay_start_task() {
  if (!css_initialized) {
    event_start_css();
    css_initialized = 1;
  }
  TEST_PROGRESS("starting task with name fake_name\n");
//   printf("create and run wd\n");
  event_start_task("fake_name");
}
void replay_start_task(int wd_id) {
  char task_name[31];
  if (!css_initialized) {
    event_start_css();
    css_initialized = 1;
  }
  TEST_PROGRESS("starting task with name: %d\n", wd_id);
  sprintf(task_name, "%d", wd_id);
  event_start_task(&task_name[0]);
}