THREAD_EVENT     4143 src/keyboard.c       case THREAD_EVENT:
THREAD_EVENT     6596 src/keyboard.c     case THREAD_EVENT:
THREAD_EVENT      960 src/thread.c         event.kind = THREAD_EVENT;