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