extern void report(const char *s);
extern void report2(const char *s, char *s2);
extern void report3(const char *s, char *s2, char *s3);