DEBUG - это условный оператор печати, который активируется, когда вы запускаете код с опцией "-d", как в $ nachos -d ti. Существует несколько флагов отладки, например, «t» включает печать (отладку) событий потока, которые, как вы думаете, нужны вашему фрагменту кода.