let has_debug n = Pdg_parameters.verbose_atleast (n+1)