let use_lib m lib = Hashtbl.replace libraries m (lib :: libraries_of m)