#include <stdio.h>
#include <stdlib.h>
#include <string.h>

// std
int printf(const char* format, ...);
int getchar();
int putchar(int ch);
int strcmp(const char* s1, const char* s2);
void exit(int status);

// ext
void ungetchar(int ch);
int eof();
int eprintf(const char* format, ...);