const char *, int *));
uerr_t retrieve_from_file PARAMS ((const char *, int, int *));
-void reset_timer PARAMS ((void));
-long elapsed_time PARAMS ((void));
char *rate PARAMS ((long, long, int));
-
void printwhat PARAMS ((int, int));
void downloaded_increase PARAMS ((unsigned long));