Re: [PATCH] Annotate non-zero-terminated character arrays