void main(void){char* s="void main(void){char* s=%c%s%c;printf(s,042,s,042);}";
	printf(s,042,s,042);}
