val vartoint = Util.IntHashtbl.create (2 * size)