Re: Annotate non-zero-terminated character arrays