void srverr(char *);