/*
 * fputc.c
 *
 * gcc "printf decompilation" expects this to exist...
 */

#include <stdio.h>

int fputc(int c, FILE *f)
{
  unsigned char ch = c;

  return _fwrite(&ch, 1, f) == 1 ? ch : EOF;
}