undotlines       1561 src/diff3.c    	  undotlines (outputfile, leading_dot, high0 + 2,
undotlines       1577 src/diff3.c    	  undotlines (outputfile, leading_dot, low0 + 1,
undotlines       1604 src/diff3.c    	  undotlines (outputfile, dotlines (outputfile, b, mapping[FILE2]),