THREAD_EVENT     4209 src/keyboard.c       case THREAD_EVENT:
THREAD_EVENT     6952 src/keyboard.c     case THREAD_EVENT:
THREAD_EVENT      960 src/thread.c         event.kind = THREAD_EVENT;