demangle basic templates