(bug in our code prevented the mangler from using a name that was in use prior to mangling but not after it)