Improve ID mangling.
Add another example.