readnum          1100 src/diff3.c      s = readnum (skipwhite (s), &db->ranges[0][RANGE_START]);
readnum          1108 src/diff3.c          s = readnum (s + 1, &db->ranges[0][RANGE_END]);
readnum          1134 src/diff3.c      s = readnum (skipwhite (s), &db->ranges[1][RANGE_START]);
readnum          1142 src/diff3.c          s = readnum (s + 1, &db->ranges[1][RANGE_END]);