#include <stdio.h> #include <string.h>
int main(void) { char ch[] = "abc\01d5\678x\xay\0"";
//printf("%d",strlen(ch)); return 0;
}