copied implementation of printprocstks from os2-project since it still works even with the broken interrupt handling. Fun fact: because we do sleep(20) between prints, we see all the prints even with broken interrupt handling!