/* 920717-y.c */

extern const char s[];

main()
{
	puts(s);
}