Standard scheme for maintainer-only debugging code?

[Geert Bosch]

On Tuesday, Jun 10, 2003, at 15:27 America/New_York, Nathanael Nerode 
wrote:
> Let's push forward on this.  What should the header be called?
> maintainer_debug_flags.h?

I'd prefer a shorter name such as debug_flags.h or
even dbgflags.h.

   -Geert