PROCEDURE fred$rename_buffer(new_buf_name)
   LOCAL new_buffer_name;

   new_buffer_name := new_buf_name;
   old_buffer := CURRENT_BUFFER;
 !   Get new buffer...
   if (new_buffer_name = "") then
      new_buffer_name := READ_LINE ("New name for CURRENT_BUFFER: ");
      if (new_buffer_name = "") then
	 RETURN;
      endif;
   endif;