#define NOCCARGC
#include stdio.h
/*
** Write character to standard output
*/
putchar(ch) int ch; {
  return(fputc(ch, stdout));
  }