let info_libraries = Hashtbl.create 103