Re: [PATCH 1/3] compiler_types: Introduce __counted_by_ptr()