method
vartoint v =
Util
.
IntHashtbl
.find vartoint v