Alas, Vladimir's patch caused a bus error (probably double

alignment?), and I didn't test it.  Withdrawing it for now.