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