#define NOCCARGC
#include stdio.h
/*
** Get next character from standard input
*/
getchar() {
  return (fgetc(stdin));
  }