let get_varinfo name = try Hashtbl.find varinfos name with _ -> raise_error ("Variable not declared ("^name^")")