Function n_packed_elems 

pub const fn n_packed_elems<F: BinaryField>(n_words: usize) -> usize

The number of elements WordIPVerifierChannel::pack_words returns for n_words words.

A channel that packs the words into wires rather than computing them needs the count on its own, so the layout stays in one place.