diff.c: emit_diff_symbol learns DIFF_SYMBOL_NO_LF_EOF