let get_varinfo_option name =
  try
    Some(Hashtbl.find varinfos name)
  with
    | _ -> None