push_char        1840 lib/tty/key.c              if (!push_char (c))
push_char        1895 lib/tty/key.c          push_char (c);