void err(char *s);