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