Obviously correct fix to rename_c_identifier.py. Bugfix on 32237; not in any released version of tor.
This script should "pay for itself" if it prevents one bug caused by careless search-replace-commit loops.