Comment by acqq

> the C example ... by definition strings cannot contain that character

They can, only some functions stop at the first zero:

    char s[] = "gogo\x00gogo";
    printf( "%d\n", (int)sizeof( s ) );