/* 'mxml_file_putc()' - Write a character to a file.  */
static int mxml_file_putc(int ch, void *p)
/* 'mxml_file_putc()' - Write a character to a file.  */
static int mxml_file_putc(int ch, void *p)
{
  return (putc(ch, (FILE *)p) == EOF ? -1 : 0);
}