The text f485e7b2b773, as Debian 8 (Jessie), Debian 7 (Wheezy) shipped it.
gives the bdd node of a variable.
getbddvarnode(3) on Linux now
