Hi, On Tue, 28 Jul 2009, Paolo Bonzini wrote: > You can do something almost equivalent: Oh, right. That's nice enough, great. > I don't think I ever wrote anything this ugly. Details, details. :) Ciao, Michael.