END_SESSION_EVENT 4193 src/keyboard.c       case END_SESSION_EVENT:
END_SESSION_EVENT 6112 src/keyboard.c     case END_SESSION_EVENT:
END_SESSION_EVENT 5871 src/w32term.c  	  inev.kind = END_SESSION_EVENT;