Seems reasonable. -eric On Wed, Nov 13, 2013 at 8:08 PM, Rafael EspĂndola <rafael.espindola at gmail.com> wrote: >> Yes, I think an error would be preferable to miscompiling. > > OK, a new patch is attached. > > Cheers, > Rafael