let tracelog () =
let ks = Wp_parameters.get_debug_keyset () in
if ks <> [] then
let pp_keys : Format.formatter -> string list -> unit =
Pretty_utils.pp_flowlist ~left:"" ~sep:"," ~right:"." Format.pp_print_string
in Wp_parameters.debug ~level:0 "Logging keys : %a" pp_keys ks