tree 56b0c1948c34d43e5369b2470ae0e11433344d38
parent 632f575ecc42abb09a386908447f014d0636e89d
author John Kessenich <cepheus@frii.com> 1474330170 -0600
committer John Kessenich <cepheus@frii.com> 1474330170 -0600

Track separate entry-point names and mangled names...

... and use each in the correct way at consumption sites.
This completes issue #513.