#ifndef LIBWEBGLUE_H #define LIBWEBGLUE_H void web_header(char *); void web_echo(char *, ...); int web_time(void); #endif