sig
  val try_finally : (unit -> 'a) -> (unit -> unit) -> 'a
  val with_open_in : string -> (Pervasives.in_channel -> 'a) -> 'a
  val with_open_out : string -> (Pervasives.out_channel -> 'a) -> 'a
  val dont_inline : 'a -> 'a
  val fresh_name : string -> string
  val fresh_var : string -> Variable.name
  val read : Pervasives.in_channel -> string
  val ptag : Buffer.t -> 'a -> unit
  val same_absolute_path : string -> string -> bool
  val file_get_contents : string -> string
  val get_number_of_cores : unit -> int
end