sig val extra_args : string list Pervasives.ref val trash : string list Pervasives.ref val verbose : bool Pervasives.ref val script_dir : string Pervasives.ref val compile : (string -> string -> int) Pervasives.ref end