get_keysym_name  7477 src/keyboard.c 	  char *name = get_keysym_name (symbol_num);
get_keysym_name  5208 src/lisp.h     extern char *get_keysym_name (int);
get_keysym_name  14204 src/xterm.c    get_keysym_name (int keysym)