demangle some templates