#include <stdio.h>

int putc(int c, FILE *stream) {
  return fputc(c, stream);
}