functions_with_source = Varinfo.Hashtbl.create 97