prog: demangle