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}