more comments on problems within timer.c, thread.c: trying to sema_down(&timer_wait) causes ERROR