Re: [PATCH] annotate with allocation size attribute