#include <stdio.h>
int main(void) {
    char a = '\012';
    char b = '\08';
    char c = '012';
    char d = '\0x12';
    printf("%d %d %d %d", a, b, c, d);
    return 0;
}