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

// std
int printf(const char* format, ...);
int getchar();
void exit(int status);

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