Logically, I'd think both should get name mangling...
# random
p
Logically, I'd think both should get name mangling, right?