read_stdin       11470 src/keyboard.c 	  c = read_stdin ();
read_stdin       11481 src/keyboard.c 	    c = read_stdin ();
read_stdin       11502 src/keyboard.c       c = read_stdin ();
read_stdin       11506 src/keyboard.c 	c = read_stdin ();