> These numbers count subunits as bodies, and include unused WITHs, if
> any; bear in mind that a spec's WITHs need not be repeated in a
> body/subunit.

I find it helps me if I repeat the spec's withs at the start of the
body even though I don't have to.