Perform substitution in name-mangling