work towards demangling of templates