+char *number_to_string PARAMS ((char *, long));
+
+struct wget_timer *wtimer_allocate PARAMS ((void));
+struct wget_timer *wtimer_new PARAMS ((void));
+void wtimer_delete PARAMS ((struct wget_timer *));
+void wtimer_reset PARAMS ((struct wget_timer *));
+long wtimer_elapsed PARAMS ((struct wget_timer *));
+long wtimer_granularity PARAMS ((void));
+
+char *html_quote_string PARAMS ((const char *));
+
+int determine_screen_width PARAMS ((void));
+int random_number PARAMS ((int));
+
+int run_with_timeout PARAMS ((long, void (*) (void *), void *));