push_char        1807 lib/tty/key.c              if (!push_char (c))
push_char        1862 lib/tty/key.c          push_char (c);