The text 7bf8f77cf2f1, as Debian 8 (Jessie), Debian 7 (Wheezy) shipped it.
brings up an index in a BDD
upVarBdd(3) on Linux now
