Info 776 (Possible truncation of addition): I found no better way than
using an additional size_t argument. This triggered a subsequent
warning about an out-of-bounds access, which could be silenced with
additional assertions on nac to be large anough such that av[ac] was
not out of bounds.

Warning 429: Custodial pointer 'av' (line 60) has not been freed or
returned:

In other cases, the argument vector comes from VAV_Parse() which
flexelint apparently can't follow along, yet memory for a VAV is also
allocated and never freed (see also bottom of STV_Config()).

In this case I found no better way than to silence flexelint.