Silva: How to use the new counted_by attribute in C (and Linux)

There are a number of requirements to properly use the
counted_by attribute. One crucial requirement is that the
counter must be initialized before the first reference to the
flexible-array member. Another requirement is that the array must
always contain at least as many elements as indicated by the
counter.

See also: this article from 2023.