debug_reload output

[Jeffrey A Law]

  In message < 199710150932.LAA17687@lslsun17.epfl.ch >you write:
  > I agree that the two function thing is the best approach.  How about
  > debug_reload_to_stream(FILE *) as the new function?
That would be fine.

What I would suggest you do is have debug_reload_to_stream actually
have the real code to output the info.  debug_reload would then just
call debug_reload_to_stream with stderr as its argument.

jeff