semantic: Handle MangledName.