int _IO_getc(struct _IO_FILE *stream) {
  return fgetc(stream);
}