The text 2c2fc7ffd201, as Debian 8 (Jessie), Debian 7 (Wheezy) shipped it.
applies an operator to two BDD.
applyBinBdd(3) on Linux now
