getbddvarnodebyindex(3) on Linux

The text 2636c3d46173, as Debian 8 (Jessie), Debian 7 (Wheezy) shipped it.

gives the bdd node of a variable.

getbddvarnodebyindex(3) on Linux now