Symbol: hammer_modify_buffer_noundo