RENAME old_name
   TO new_name ;