Added super-special name mangling.