#define FILE_END 0x0

int fetchnumber(FILE * input);
void tofile(FILE * output, const int fresh);
void closefile(FILE * output);