void err(char *s); void warn(char *s);