type instrumented_file = {filename : string;points : int array;counts : int array;
}val coverage_file_identifier : stringval register_file :
filename:string ->
points:int array ->
[ `Visit of int -> unit ]val runtime_data_to_string : unit -> string optionval reset_counters : unit -> unitval random_filename : prefix:string -> string