diff.c: introduce emit_diff_symbol