time.h: strftime() should return size_t
string.h: strlen() should return size_t
stdio.h: declare getchar() and ungetc()