extern char *cplus_demangle(const char *, int);

int main(void)
{
	cplus_demangle(0, 0);

	return 0;
}