Hi Martin - apart from anything else ... do you think it would be desirable to enable debugging in hi* by default? (At least, I don't think that is the case now, though I admit I'm not 100% sure.) --thanks, karl.