#include <stdio.h>
main() {
char c; // store the character just read in a char, more efficient than int
while ((c = getchar()) != EOF) {
if (c == '\t') {
printf("\\t");
} else if (c == '\\') {
printf("\\\\");
} else if (c == '\b') {
printf("\\b");
} else
putchar(c);
}
}
}