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