Symbol: rename_args