let return_vars = VarinfoHashtbl.create 17