PrintInt === ```clike= void ConsoleOutput::PutInt(int num) { ASSERT(putBusy == FALSE); char str[13]; int size = sprintf(str, "%d\n", num); WriteFile(writeFileNo, str, size); putBusy = TRUE; kernel->interrupt->Schedule(this, ConsoleTime, ConsoleWriteInt); } ```