1 2 3 4 5
let profile = ref false let profile_verbose = ref false let profile_file = ref "profiling-counters.csv" let profile_line_prefix = ref "" let profile_field_names : string list ref = ref []