sig val loadfile : string -> unit val allow_unsafe_modules : bool -> unit val init : unit -> unit val digest_interface : string -> string list -> Digest.t end