Extra diagnostics in the hope that we can track down the problem with
[u/mdw/putty] / misc.h
2001-04-28 simonDave Hinton's debugging patch.