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