The text 7c965d92e590, as Debian 8 (Jessie), Debian 7 (Wheezy) shipped it.
resets a bdd circuit.
resetbddcircuit(3) on Linux now
