1extern int printf(const char *format, ...);
2extern char *cplus_demangle(const char *, int);
3
4int main(void)
5{
6	char symbol[4096] = "FieldName__9ClassNameFd";
7	char *tmp;
8
9	tmp = cplus_demangle(symbol, 0);
10
11	printf("demangled symbol: {%s}\n", tmp);
12
13	return 0;
14}
15