What always bothered me with nul termination is that it isn't a data structure, it's a convention.

And as with all conventions there's discipline involved. You can't unit test and get rid of a certain kind of bug once.

To this day I still think that (Borland) Pascal is a better language than C. It has sets, array indices and best of all, a real module concept.