module type S = sig ... end
val unsafe_string : unit -> bool
val init : native:bool -> (module S) -> unit