RENAME old_name TO new_name ;