extern void x_message(char *s);