let libraries_of m =
  try Hashtbl.find libraries m with Not_found -> []