char *s="THE ENCODING WILL GO HERE";
main() {
printf("char *s=\"%s\";\n",s);
while(*s)printf("%c",*s++-5);
}