[PATCH 0/3] compiler_types: Introduce __counted_by_ptr()