void kill_current_buffer()
Empties the current buffer. If it has not already been saved, its contents is lost.