sig val tmp : int Pervasives.ref val file : string -> string -> string end