let
debug fmt =
Pdg_parameters
.debug ~dkey fmt