instrumentation

add c++ symbol demangling and (minor) update in text formatting