grow_read_buffer 2973 src/lread.c    	  read_buffer = grow_read_buffer (read_buffer, offset,
grow_read_buffer 3062 src/lread.c    	  read_buffer = grow_read_buffer (read_buffer, offset,
grow_read_buffer 4143 src/lread.c    		read_buffer = grow_read_buffer (read_buffer, offset,