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