method vartoint v = Util.IntHashtbl.find vartoint v