let library_index = Hashtbl.create 32