output_diff3      182 src/diff3.c    static void output_diff3 (FILE *, struct diff3_block *, int const[3], int const[3]);
output_diff3      399 src/diff3.c          output_diff3 (stdout, diff3, mapping, rev_mapping);