void main(void) { int c; while ((c = getchar()) != EOF) putchar(rot13c(c)); }
void rot13(char *buf, char *in) { while (*in) *buf++ = rot13c(*in++); *buf = 0; }