Where Is All That FLASH Space Going?

[christop]

RayLivingston:
But from what I saw playing with obj-dump, the names are, largely, the mangled names, which are not very helpful.

Try objdump's -C option to demangle the names.