symbols get mangled so that they are easily identified