/* 920717-y.c */

extern const char s[];
extern int puts(const char *);

int
main()
{
	puts(s);
	return 0;
}