On Tue, Jun 02, 1998 at 06:49:10PM -0700, Richard Henderson wrote: > This is now fixed; see patch mark 11 to appear momentarily. Oh bother, no it isn't. Ah well, back to work. r~