The text 14711cca5332, as Debian 8 (Jessie), Debian 7 (Wheezy) shipped it.
initializes the BDDs system
initializeBdd(3) on Linux now
