#include <stdio.h>
#include <string.h>
int main(void)
{
       int a = strlen("123");
       int b = strlen("123\0");
       int c = strlen("123\012");
       int d = strlen("123\0123\0ABC");
       int e = strlen("123\0ABC");
       int f = strlen("123\0123");
       int g = strlen("123\0""123");
       printf("a:%d, b:%d, c:%d, d:%d, e:%d, f:%d, g:%d\n", a, b, c, d, e, f, g);
       return 0;
}