/* #include "str_lib.h" */

void stripquote(char *) ;
void trim( char * );
char * str_toupper(char *) ;

// HTML commands:

void printHeader(char *);
void printFooter(void);
void htmlPre(void);
void htmlPreOff(void);

