libxml2 xmlChar* cast to char*

Question

How would you convert / cast an xmlChar* to char* from the libxml2 library? Thanks.

Answer 1

If you take a look at the examples, for instance io2.c, you'll notice that they just blithely cast it to a char *:

printf("%s", (char *) xmlbuff);