tree be3b20c888444393d3e8b66a9deef9ea2d9cd3c8
parent 8f01c0657f57cfe545a9b840e1d83c332fb51612
author Nico Weber <nicolasweber@gmx.de> 1552327596 -0400
committer Nico Weber <nicolasweber@gmx.de> 1552327596 -0400

add -b mode that prints "demangled" (mangled) so both are visible