Replaced name X by mangled name