On Fri, 17 Nov 2000, Richard Henderson wrote: > I don't know who added insn_size, or what it had been Thu Oct 14 11:33:25 1993 Michael Meissner (meissner@osf.org) -- Linuxcare. Support for the Revolution.