sig val tmp_directory : unit -> string val tmp_prefix : string -> string val set_tmp_directory : string -> unit end