record_event      236 src/w32term.c  record_event (char *locus, int type)
record_event     5125 src/xterm.c    record_event (char *locus, int type)