sig val hack_cmxs : bool Pervasives.ref val load_files : string list -> unit val load_packages : string list -> unit end