if (task->watch_points & new_state) {
printf("Watch point reached with task '%s' in state %d!\n", SD_task_get_name(task), new_state);
if (task->watch_points & new_state) {
printf("Watch point reached with task '%s' in state %d!\n", SD_task_get_name(task), new_state);