END_SESSION_EVENT 4127 src/keyboard.c       case END_SESSION_EVENT:
END_SESSION_EVENT 5957 src/keyboard.c     case END_SESSION_EVENT:
END_SESSION_EVENT 5871 src/w32term.c  	  inev.kind = END_SESSION_EVENT;