ref: ec60839982dffcb2212f6b7e9eeb8b11a0b4d292
parent: 26d9afbaac70ccfc12c91f54b05166d38769284f
author: Ori Bernstein <ori@eigenstate.org>
date: Thu Dec 19 17:58:57 EST 2013
We don't need both maxdid and ndecls.
These two variables should always be the same.