read_stdin       12009 src/keyboard.c 	  c = read_stdin ();
read_stdin       12020 src/keyboard.c 	    c = read_stdin ();
read_stdin       12041 src/keyboard.c       c = read_stdin ();
read_stdin       12045 src/keyboard.c 	c = read_stdin ();