#include <stdio.h>

// The getchar() function shall be equivalent to getc(stdin).
int getchar(void) { return fgetc(stdin); }