push_char        1805 lib/tty/key.c              if (!push_char (c))
push_char        1860 lib/tty/key.c          push_char (c);