diff.c: emit_diff_symbol learns about DIFF_SYMBOL_SUMMARY