let debug fmt = Pdg_parameters.debug ~dkey fmt