Correct name mangling.