let debug2 fmt = Pdg_parameters.debug ~dkey fmt ~level:2