char *s = "\1\12\123\1234";