Allow @rand with dynamic arrays.
Fixed obdd to make it work on 32bit systems.