demangle_doargs
i += demangle_doargs(&ar.ptr,c+i);
if (demangle_doargs(&s, c) < 0)
extern int demangle_doargs();